Language.Clafer.Generator.Xml

tag

optTag

tagType

genXmlInteger

genXmlBoolean

genXmlString

genXmlIntPair

genXmlModule

genXmlClafer

genXmlAbstract

genXmlGCard

genXmlInterval

genXmlId

genXmlUid

genXmlSuper

genXmlCard

genXmlGlCard

genXmlElement

genXmlAnyOp

genXmlPExp

genXmlPosition

genXmlIExpType

genXmlIExp

genXmlDecl

genXmlQuantType

genXmlITypeType

genXmlIType