Language.Clafer.Intermediate.Intclafer
type UID
type CName
data Ir
data IType
data IModule
data IClafer
data IElement
data ISuper
data IGCard
type Interval
data PExp
data IExp
data IDecl
data IQuant
type LineNo
type ColNo
mapIR
foldMapIR
foldIR
iMap
iFoldMap
iFold
unWrapIModule
unWrapIElement
unWrapIType
unWrapIClafer
unWrapIExp
unWrapPExp
unWrapISuper
unWrapIQuant
unWrapIDecl
unWrapIGCard
mName
mDecls
uid
super
isAbstract
ident
glCard
gcard
elements
cinPos
card
isMaximize
isHard
iClafer
cpexp
supers
isOverlapping
isKeyword
interval
pid
inPos
iType
exp
sident
quant
op
oDecls
modName
istr
isTop
iint
idouble
exps
bpexp
isDisj
decls
body