Agda.TypeChecking.Monad.Debug

class MonadDebug m

reportS

reportSLn

reportSDoc

traceSLn

traceSDoc

verboseBracket