Agda.Compiler.Agate.Main
compilerMain
enumConstructors
computeMaxArity
getConstructorArity
printConstants
printShowConstants