Control.Unification
data UTerm t v
freeze
unfreeze
class Fallible t v a
class Unifiable t
class Variable v
class BindingMonad t v m
getFreeVars
applyBindings
freshen
(===)
(=~=)
(=:=)
(<:=)
equals
equiv
unify
unifyOccurs
subsumes
getFreeVarsAll
applyBindingsAll
freshenAll
fullprune
semiprune
occursIn