module C : sig ... endtype info = private Pdriver.printer_args = {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;}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 print_header_decl :
info ->
?old:'a ->
?fname:'b ->
flat:'c ->
'd ->
Format.formatter ->
Mltree.decl ->
unitval print_prelude :
'a ->
?old:'b ->
?fname:'c ->
flat:'d ->
Pmodule.pmodule list ->
Format.formatter ->
'e ->
unitval print_decl :
info ->
?old:'a ->
?fname:'b ->
flat:'c ->
'd ->
Format.formatter ->
Mltree.decl ->
unitval c_printer : Pdriver.printer