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