val current_decl_name : string refmodule C : sig ... endtype info = {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;kn : Pdecl.known_map;prec : int list Ident.Mid.t;}val debug_c_extraction : Debug.flagval debug_c_no_error_msgs : Debug.flagmodule Print : sig ... endmodule MLToC : sig ... endval name_gen : string -> ?fname:string -> Pmodule.pmodule -> stringval header_border_printer :
bool ->
'a ->
?old:'b ->
?fname:string ->
flat:'c ->
Format.formatter ->
Pmodule.pmodule ->
unitval mk_info : Pdriver.printer_args -> Pmodule.pmodule -> infoval print_header_decl :
Pdriver.printer_args ->
?old:in_channel ->
?fname:string ->
flat:bool ->
Pmodule.pmodule ->
Format.formatter ->
Mltree.decl ->
unitval print_prelude :
'a ->
?old:'b ->
?fname:'c ->
flat:'d ->
Pmodule.pmodule list ->
Format.formatter ->
'e ->
unitval print_decl :
Pdriver.printer_args ->
?old:in_channel ->
?fname:string ->
flat:bool ->
Pmodule.pmodule ->
Format.formatter ->
Mltree.decl ->
unitval c_printer : Pdriver.printer