Agda.TypeChecking.Monad.Env
currentModule
withCurrentModule
getAnonymousVariables
withAnonymousModule
withEnv
getEnv
leaveTopLevel
onTopLevel