Class Printer_api.S.extensible_printer

class extensible_printer : unit -> Printer_api.extensible_printer_type
Extend this class if you want to modify the default behavior of the printer.