Agda.TypeChecking.Monad.Env
currentModule
withCurrentModule
getAnonymousVariables
withAnonymousModule
withEnv
getEnv
withIncreasedModuleNestingLevel