You can search for identifiers within the package.
in-package search v0.2.0
module H : HOLES
type t
val make : H.t -> t
val context : t -> H.t
val push : string -> Term.typ -> t -> t
val unify0 : Term.typ -> Term.typ -> bool -> t -> t option
val unify : Term.typ -> Term.typ -> bool -> H.t -> H.t option
unify act req is_super gh
Unify the type act with the type req using gh as the context with holes.
act
req
gh
is_super indicates if the typ req can be regarded as a supertype of act.
is_super