Language.Fixpoint.Sort

Sort Substitutions

data TVSubst

Checking Well-Formedness

checkSorted

checkSortedReft

checkSortedReftFull

checkSortFull

pruneUnsortedReft

Unify

unify

Apply Substitution

apply