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