Agda.TypeChecking.Reduce.Monad

constructorForm

enterClosure

underAbstraction_

getConstInfo

isInstantiatedMeta

lookupMeta

askR

applyWhenVerboseS