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