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