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