5 import Control.GenBimap
9 import Gast.CommandLine
11 derive class Gast Constructor, Type, TypeDef, TypeDefRhs, RecordField, Maybe, TypeRestriction, Priority
12 derive gEq Constructor, Type, TypeDef, TypeDefRhs, RecordField, TypeRestriction, Priority
16 Start w = exposeProperties [Concise (dec numt)] [Tests numt] [prop] w
18 prop :: Constructor -> Bool