Language.Fixpoint.Types.Sorts
data Sort
data Sub
data FTycon
type TCEmb a
sortFTycon
intFTyCon
boolFTyCon
realFTyCon
numFTyCon
intSort
realSort
boolSort
strSort
funcSort
setSort
bitVecSort
mapSort
listFTyCon
isListTC
fTyconSymbol
symbolFTycon
fTyconSort
fApp
fApp'
fAppTC
fObj
sortSubst
functionSort
mkFFunc
bkFFunc