Language.Clafer.Front.Absclafer

data Pos

noPos

data Span

noSpan

class Spannable n

(>-)

len

data PosInteger

data PosDouble

data PosString

data PosIdent

data Module

data Declaration

data Clafer

data Constraint

data SoftConstraint

data Goal

data Abstract

data Elements

data Element

data Super

data SuperHow

data Init

data InitHow

data GCard

data Card

data NCard

data ExInteger

data Name

data Exp

data SetExp

data Decl

data Quant

data EnumId

data ModId

data LocId