Agda.TypeChecking.Monad.Context
modifyContextEntry
modifyContextEntries
modifyContext
mkContextEntry
inContext
inTopContext
escapeContext
escapeContextToTopLevel
addCtx
addContext
addCtxs
addCtxString
addCtxString_
dummyDom
underAbstraction
underAbstraction_
addCtxTel
addLetBinding
getContext
getContextSize
getContextArgs
getContextTerms
getContextTelescope
getContextId
typeOfBV'
typeOfBV
nameOfBV
(!!!)
getVarInfo