class extensible_printer : unit -> Printer_api.extensible_printer_type
unit ->
Printer_api.extensible_printer_type