Language.Fixpoint.SortCheck

Sort Substitutions

data TVSubst

type Env

Checking Well-Formedness

checkSorted

checkSortedReft

checkSortedReftFull

checkSortFull

pruneUnsortedReft

Sort inference

sortExpr

checkSortExpr

Unify

unifyFast

unify

Apply Substitution

apply

Exported Sorts

boolSort

strSort

elaborate

Predicates on Sorts

isFirstOrder

isMono