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