Agda.TypeChecking.Monad.MetaVars
getMetaStore
modifyMetaStore
lookupMeta
updateMetaVar
getMetaPriority
isSortMeta
isInstantiatedMeta
createMetaInfo
updateMetaVarRange
addInteractionPoint
removeInteractionPoint
getInteractionPoints
getInteractionMetas
isInteractionMeta
lookupInteractionId
judgementInteractionId
newMeta
newMeta'
getInteractionRange
getMetaRange
getInteractionScope
withMetaInfo
getInstantiatedMetas
getOpenMetas
listenToMeta
unlistenToMeta
getMetaListeners
clearMetaListeners
freezeMetas
unfreezeMetas
isFrozen