Agda.Compiler.Common
data IsMain
doCompile
setInterface
curIF
curSig
curMName
curDefs
sortDefs
sigMName
compileDir
repl
conArityAndPars
inCompilerEnv
topLevelModuleName