module type PrinterExtension = functor (X : PrinterClass) -> PrinterClass
functor (
X
:
PrinterClass
) ->
class printer : Printer_api.extensible_printer_type
Printer_api.extensible_printer_type