Agda.Compiler.Alonzo.Main
compilerMain
fromCurrentModule
flattenSubmodules
maybeQualName
numOfMainS
processDefWithDebug
infoDecl
processDef
times
consDefs
processClause
contClause
foldClauses
processArgPats
processArgPat
processPat
processBody
processTerm
processLit
processVap
unfoldVap
getDefinitions
getConArity
typeArity
clauseBod
vecApp