Language.Clafer.IG.ClaferModel

data ClaferModel

data Clafer

data Id

data Value

c_name

buildClaferModel

traverseModel