Language.Fixpoint.SortCheck

Sort Substitutions

data TVSubst

type Env

Checking Well-Formedness

checkSorted

checkSortedReft

checkSortedReftFull

checkSortFull

pruneUnsortedReft

Sort inference

sortExpr

checkSortExpr

exprSort

Unify

unifyFast

unifySorts

Apply Substitution

apply

Exported Sorts

boolSort

strSort

Sort-Directed Transformations

class Elaborate a

applySorts

unApplyAt

toInt

Predicates on Sorts

isFirstOrder

isMono