Agda.TypeChecking.Monad.Debug
class MonadDebug m
reportS
reportSLn
reportSDoc
traceSLn
traceSDoc
verboseBracket