Class Printer_api.S.extensible_printer

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