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