Agda.TypeChecking.MetaVars
findIdx
isBlockedTerm
class
HasMeta
t
(=:)
assignTerm
newSortMeta
newTypeMeta
newTypeMeta_
newValueMeta
newValueMetaCtx
newValueMeta'
newValueMetaCtx'
newTelMeta
newArgsMeta
newArgsMetaCtx
newRecordMeta
newRecordMetaCtx
newQuestionMark
blockTerm
postponeTypeCheckingProblem_
postponeTypeCheckingProblem
etaExpandListeners
etaExpandMeta
class
Occurs
t
occursCheck
abortAssign
handleAbort
assignV
assignS
checkArgs
validParameters
isVar
updateMeta