Agda.TypeChecking.Reduce.Monad

constructorForm

enterClosure

underAbstraction_

getConstInfo

isInstantiatedMeta

lookupMeta

traceSLn

traceSDoc

askR

applyWhenVerboseS