Module Printer.Debug

Debug printers

val pr_goal : Proofview.Goal.t -> Pp.t