Agda.TypeChecking.Monad.Context
modifyContextEntry
modifyContextEntries
modifyContext
mkContextEntry
inTopContext
escapeContext
withModuleParameters
updateModuleParameters
weakenModuleParameters
getModuleParameterSub
addCtx
unshadowName
class AddContext b
addContext'
data KeepNames a
dummyDom
underAbstraction
underAbstraction'
underAbstraction_
addLetBinding
getContext
getContextSize
getContextArgs
getContextTerms
getContextTelescope
getContextId
getContextNames
lookupBV
typeOfBV'
typeOfBV
nameOfBV
getVarInfo