module test

import StdEnv
import Data.Func
import Control.GenBimap
import Clean.Types

import Gast
import Gast.CommandLine

derive class Gast Constructor, Type, TypeDef, TypeDefRhs, RecordField, Maybe, TypeRestriction, Priority
derive gEq Constructor, Type, TypeDef, TypeDefRhs, RecordField, TypeRestriction, Priority

//million
numt :== 1000000
Start w = exposeProperties [Concise (dec numt)] [Tests numt] [prop] w

prop :: Constructor -> Bool
prop x = gEq{|*|} x x