package alba

  1. Overview
  2. Docs
package alba
Legend:
Library
Module
Module type
Parameter
Class
Class type

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.