module 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;}val debug_c_extraction : Debug.flagmodule Print : sig ... endmodule MLToC : sig ... endval name_gen : string -> ?fname:string -> Pmodule.pmodule -> stringval file_gen : ?fname:string -> Pmodule.pmodule -> stringval header_gen : ?fname:string -> Pmodule.pmodule -> stringval 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