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