Agda.TypeChecking.MetaVars

findIdx

isBlockedTerm

isEtaExpandable

class HasMeta t

(=:=)

(=:)

assignTerm

assignSort

newSortMeta

newSortMetaCtx

newTypeMeta

newTypeMeta_

newValueMeta

newValueMetaCtx

newValueMeta'

newValueMetaCtx'

newTelMeta

newArgsMeta

newArgsMetaCtx

newRecordMeta

newRecordMetaCtx

newQuestionMark

blockTerm

unblockedTester

postponeTypeCheckingProblem_

postponeTypeCheckingProblem

etaExpandListeners

etaExpandMetaSafe

data MetaKind

allMetaKinds

etaExpandMeta

etaExpandBlocked

abortAssign

handleAbort

assignV

assignS

type FVs

checkArgs

validParameters

isVar

updateMeta