Agda.TypeChecking.Monad.Env
currentModule
withCurrentModule
getAnonymousVariables
withAnonymousModule
withEnv
getEnv
withIncreasedModuleNestingLevel
withHighlightingLevel
doExpandLast
dontExpandLast
performedSimplification
performedSimplification'
getSimplification
onlyReduceProjections
dontReduceProjections
dontReduceLevels
allowAllReductions
insideDotPattern
isInsideDotPattern