type info = {info_syn : Printer.syntax_map;info_literal : Printer.syntax_map;info_current_th : Theory.theory;info_current_mo : Pmodule.pmodule option;info_th_known_map : Decl.known_map;info_mo_known_map : Pdecl.known_map;info_fname : string option;info_flat : bool;info_prec : int list Ident.Mid.t;info_current_ph : string list;}module Print : sig ... endval print_decl :
Pdriver.printer_args ->
?old:Stdlib.in_channel ->
?fname:string ->
flat:bool ->
Pmodule.pmodule ->
Stdlib.Format.formatter ->
Mltree.decl ->
unitval ng : string -> ?fname:string -> Pmodule.pmodule -> stringval ocaml_printer : Pdriver.printer