Language.Clafer.Common
type Result
transIdent
mkIdent
mkInteger
type Ident
getSuper
getSuperNoArr
getSuperId
isEqClaferId
idToPExp
mkLClaferId
mkPLClaferId
pExpDefPidPos
pExpDefPid
pExpDef
isParent
isClaferName
isClaferName'
getClaferName
elemToClafer
toClafers
mapHierarchy
findHierarchy
apply
bfs
toNodeShallow
getSubclafers
bfsClafers
lurry
fst3
snd3
trd3
toTriple
toMTriple
iNot
iCSet
iMin
iGMax
iGMin
iSumSet
unOps
iIff
iImpl
iOr
iXor
iAnd
logBinOps
iLt
iGt
iEq
iLte
iGte
iNeq
iIn
iNin
relGenBinOps
relSetBinOps
relBinOps
iPlus
iSub
iMul
iDiv
iSumSet'
arithBinOps
iUnion
iDifference
iIntersection
iDomain
iRange
iJoin
setBinOps
binOps
iIfThenElse
mkIFunExp
toLowerS
this
parent
children
ref
specialNames
strType
intType
integerType
baseClafer
modSep
primitiveTypes
isPrimitive
data GEnv
voidf