package alba

  1. Overview
  2. Docs

Parameters

module H : HOLES

Signature

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.