Agda.TypeChecking.Monad.Context
modifyContextEntry
modifyContextEntries
modifyContext
mkContextEntry
inContext
inTopContext
escapeContext
addCtx
class AddContext b
addCtxs
addCtxString
addCtxString_
addCtxStrings_
dummyDom
underAbstraction
underAbstraction_
addCtxTel
addLetBinding
getContext
getContextSize
getContextArgs
getContextTerms
getContextTelescope
getContextId
getContextNames
lookupBV
typeOfBV'
typeOfBV
nameOfBV
getVarInfo