val debug : Debug.flagtype driver = private {drv_env : Env.env;drv_printer : string option;drv_prelude : Printer.prelude;drv_thprelude : Printer.prelude_map;drv_thinterface : Printer.interface_map;drv_blacklist : Printer.blacklist;drv_syntax : Printer.syntax_map;drv_converter : Printer.syntax_map;drv_literal : Printer.syntax_map;}type printer_args = private {env : Env.env;prelude : Printer.prelude;thprelude : Printer.prelude_map;thinterface : Printer.interface_map;blacklist : Printer.blacklist;syntax : Printer.syntax_map;converter : Printer.syntax_map;literal : Printer.syntax_map;}type filename_generator = ?fname:string -> Pmodule.pmodule -> stringtype interface_generator = ?fname:string -> Pmodule.pmodule -> stringtype interf_printer =
printer_args ->
?old:in_channel ->
?fname:string ->
flat:bool ->
Pmodule.pmodule ->
Mltree.decl Pp.pptype prelude_printer =
printer_args ->
?old:in_channel ->
?fname:string ->
flat:bool ->
Pmodule.pmodule list ->
Pmodule.pmodule Pp.ppval print_empty_prelude : prelude_printertype decl_printer =
printer_args ->
?old:in_channel ->
?fname:string ->
flat:bool ->
Pmodule.pmodule ->
Mltree.decl Pp.pptype printer = {desc : Pp.formatted;file_gen : filename_generator;decl_printer : decl_printer;interf_gen : interface_generator option;interf_printer : interf_printer option;prelude_printer : prelude_printer;}val register_printer : string -> printer -> unitval lookup_printer : driver -> printer_args * printerval list_printers : unit -> (string * Pp.formatted) list