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