package alba

You can search for identifiers within the package.

in-package search v0.2.0

Alba compiler

Install

sha256=439b1dce07c86e914d1ebf1712c5581418314b0c8d13594f27a698b1d25fe272

md5=5cf58d4ed4eacbe6f330e9d2378ef5c6

module H : HOLES

Sourcetype t

Sourceval make : H.t -> t

Sourceval context : t -> H.t

Sourceval push : Term.typ -> t -> t

Sourceval unify0 : Term.typ -> Term.typ -> bool -> t -> t option

Sourceval 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.

On This Page