Main_argsmodule type Common_options = sig ... endmodule type Compiler_options = sig ... endmodule type Toplevel_options = sig ... endmodule type Bytecomp_options = sig ... endmodule type Bytetop_options = sig ... endmodule type Optcommon_options = sig ... endmodule type Optcomp_options = sig ... endmodule type Opttop_options = sig ... endmodule type Ocamldoc_options = sig ... endmodule type Arg_list = sig ... endmodule Make_bytecomp_options (F : Bytecomp_options) : Arg_listmodule Make_bytetop_options (F : Bytetop_options) : Arg_listmodule Make_optcomp_options (F : Optcomp_options) : Arg_listmodule Make_opttop_options (F : Opttop_options) : Arg_listmodule Make_ocamldoc_options (F : Ocamldoc_options) : Arg_listval options_with_command_line_syntax :
(string * Arg.spec * string) list ->
string list ref ->
(string * Arg.spec * string) listoptions_with_command_line_syntax options r returns options2 that behaves like options, but additionally pushes command line argument on r (quoted by Filename.quote when necessary). This is meant for ocamlc,optp, which use this to forward most of their arguments to ocamlc,opt.