Agda.TypeChecking.Monad.Env

currentModule

withCurrentModule

getAnonymousVariables

withAnonymousModule

withEnv

getEnv

withIncreasedModuleNestingLevel