Agda.Compiler.Epic.CompileState
type IrrFilter
data CompileState
initCompileState
type Compile
epicError
unqname
getDelayed
putDelayed
newName
addDataDecl
getConstrTag
addDefName
topBindings
getConPar
putConPar
putMain
getMain
getIrrFilter
putIrrFilter
replaceAt
constructorArity