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