package alba

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Module `Unifier.Make`

module H : HOLES

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.

is_super indicates if the typ req can be regarded as a supertype of act.