package alba

  1. Overview
  2. Docs

Parameters

module H : HOLES

Signature

type t
val make : H.t -> t
val context : t -> H.t
val push : 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.

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

OCaml

Innovation. Community. Security.