Control.Unification.Ranked

Data types, classes, etc

Operations on one term

getFreeVars

applyBindings

freshen

Operations on two terms

Symbolic names

(===)

(=~=)

(=:=)

Textual names

equals

equiv

unify

Operations on many terms

getFreeVarsAll

applyBindingsAll

freshenAll