You can search for identifiers within the package.
in-package search v0.2.0
lp
Problem.Vars
type t = Var.t list
type classified = {
continuous : t;
general : t;
binary : t;
}
val classify : t -> classified