Agda.TypeChecking.MetaVars
findIdx
isBlockedTerm
isEtaExpandable
assignTerm
newSortMeta
newSortMetaCtx
newTypeMeta
newTypeMeta_
newIFSMeta
newIFSMetaCtx
newValueMeta
newValueMetaCtx
newValueMeta'
newValueMetaCtx'
newTelMeta
newArgsMeta
newArgsMetaCtx
newRecordMeta
newRecordMetaCtx
newQuestionMark
blockTerm
blockTermOnProblem
unblockedTester
postponeTypeCheckingProblem_
postponeTypeCheckingProblem
etaExpandListeners
wakeupListener
etaExpandMetaSafe
data MetaKind
allMetaKinds
etaExpandMeta
etaExpandBlocked
x vs = v
assignV
assign
type FVs
checkAllVars
allVarOrIrrelevant
updateMeta