class extensible_printer : unit -> Printer_api.extensible_printer_type
unit ->
Printer_api.extensible_printer_type
Extend this class if you want to obtain a custom pretty-printer.