Language.Clafer.Front.AbsClafer

data Pos

noPos

data Span

noSpan

class Spannable n

(>-)

len

data PosInteger

data PosDouble

data PosReal

data PosString

data PosIdent

data PosLineComment

data PosBlockComment

data PosAlloy

data PosChoco

data Module

data Declaration

data Clafer

data Constraint

data Assertion

data Goal

data Abstract

data Elements

data Element

data Super

data Reference

data Init

data InitHow

data GCard

data Card

data NCard

data ExInteger

data Name

data Exp

data Decl

data Quant

data EnumId

data ModId

data LocId