Module gluon_check::unify [−][src]
Structs
Enums
Traits
A type which can be unified by checking for equivalence between the top level of
two instances of the type and then recursively calling into the unifier
on all sub-terms
A Unifier
is a type which implements a unifying strategy between two values.
Functions
Unify l
and r
taking into account and updating the substitution subs
using the
Union-Find algorithm to
resolve which types must be equal.
If the unification is successful the returned type is the unified type with as much sharing as
possible which lets further computions be more efficient.