package why3
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_literal : Printer.syntax_map;drv_prec : int list Ident.Mid.t;
}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;literal : Printer.syntax_map;prec : int list Ident.Mid.t;
}type filename_generator = ?fname:string -> Pmodule.pmodule -> stringtype decl_printer =
printer_args ->
?old:in_channel ->
?fname:string ->
flat:bool ->
Pmodule.pmodule ->
Mltree.decl Pp.pptype border_printer =
printer_args ->
?old:in_channel ->
?fname:string ->
flat:bool ->
Pmodule.pmodule Pp.pptype prelude_printer =
printer_args ->
?old:in_channel ->
?fname:string ->
flat:bool ->
Pmodule.pmodule list ->
Pmodule.pmodule Pp.pptype file_printer = {filename_generator : filename_generator;decl_printer : decl_printer;header_printer : border_printer;prelude_printer : prelude_printer;
}type printer = {desc : Pp.formatted;implem_printer : file_printer;interf_printer : file_printer option;
}val dummy_prelude_printer : prelude_printerval dummy_border_printer : border_printerval register_printer : string -> printer -> unitval lookup_printer : driver -> printer_args * printerval list_printers : unit -> (string * Pp.formatted) list