Language.Clafer.Intermediate.TypeSystem
rootTClafer
claferTClafer
numeric
isTInteger
isTString
isTBoolean
getTClafer
getTClaferByUID
getTClaferFromIExp
getDrefTMap
getDrefTMapByUID
hierarchy
hierarchyMap
unionType
fromUnionType
(+++)
collapseUnion
intersection
getIfThenElseType
composition
addHierarchy
closure
getTMaps
getTClafers
coerce
coerceRight