Module Printer.Debug

Debug printers

val pr_goal : ?flags:PrintingFlags.t -> Proofview.Goal.t -> Pp.t