Agda.Compiler.Common

data IsMain

doCompile

setInterface

curIF

curSig

curMName

curDefs

sortDefs

sigMName

compileDir

repl

conArityAndPars

inCompilerEnv

topLevelModuleName