Agda.TypeChecking.Monad.Context
modifyContextEntry
modifyContextEntries
modifyContext
mkContextEntry
addCtx
addContext
addCtxString
inContext
underAbstraction
underAbstraction_
addCtxTel
getContext
getContextArgs
getContextTerms
getContextTelescope
addCtxs
getContextId
addLetBinding
typeOfBV'
typeOfBV
nameOfBV
getVarInfo
escapeContext