Agda.TypeChecking.Reduce.Monad

constructorForm

enterClosure

underAbstraction_

getConstInfo

isInstantiatedMeta

lookupMeta

reportSDoc

reportSLn

traceSLn

traceSDoc

askR

applyWhenVerboseS