sig
  module Int_arg_helper :
    sig
      type parsed
      val parse :
        string ->
        string -> Clflags.Int_arg_helper.parsed Pervasives.ref -> unit
      type parse_result = Ok | Parse_failed of exn
      val parse_no_error :
        string ->
        Clflags.Int_arg_helper.parsed Pervasives.ref ->
        Clflags.Int_arg_helper.parse_result
      val get : key:int -> Clflags.Int_arg_helper.parsed -> int
    end
  module Float_arg_helper :
    sig
      type parsed
      val parse :
        string ->
        string -> Clflags.Float_arg_helper.parsed Pervasives.ref -> unit
      type parse_result = Ok | Parse_failed of exn
      val parse_no_error :
        string ->
        Clflags.Float_arg_helper.parsed Pervasives.ref ->
        Clflags.Float_arg_helper.parse_result
      val get : key:int -> Clflags.Float_arg_helper.parsed -> float
    end
  type inlining_arguments = {
    inline_call_cost : int option;
    inline_alloc_cost : int option;
    inline_prim_cost : int option;
    inline_branch_cost : int option;
    inline_indirect_cost : int option;
    inline_lifting_benefit : int option;
    inline_branch_factor : float option;
    inline_max_depth : int option;
    inline_max_unroll : int option;
    inline_threshold : float option;
    inline_toplevel_threshold : int option;
  }
  val classic_arguments : Clflags.inlining_arguments
  val o1_arguments : Clflags.inlining_arguments
  val o2_arguments : Clflags.inlining_arguments
  val o3_arguments : Clflags.inlining_arguments
  val use_inlining_arguments_set :
    ?round:int -> Clflags.inlining_arguments -> unit
  val objfiles : string list Pervasives.ref
  val ccobjs : string list Pervasives.ref
  val dllibs : string list Pervasives.ref
  val compile_only : bool Pervasives.ref
  val output_name : string option Pervasives.ref
  val include_dirs : string list Pervasives.ref
  val no_std_include : bool Pervasives.ref
  val print_types : bool Pervasives.ref
  val make_archive : bool Pervasives.ref
  val debug : bool Pervasives.ref
  val fast : bool Pervasives.ref
  val use_linscan : bool Pervasives.ref
  val link_everything : bool Pervasives.ref
  val custom_runtime : bool Pervasives.ref
  val no_check_prims : bool Pervasives.ref
  val bytecode_compatible_32 : bool Pervasives.ref
  val output_c_object : bool Pervasives.ref
  val output_complete_object : bool Pervasives.ref
  val all_ccopts : string list Pervasives.ref
  val classic : bool Pervasives.ref
  val nopervasives : bool Pervasives.ref
  val open_modules : string list Pervasives.ref
  val preprocessor : string option Pervasives.ref
  val all_ppx : string list Pervasives.ref
  val annotations : bool Pervasives.ref
  val binary_annotations : bool Pervasives.ref
  val use_threads : bool Pervasives.ref
  val use_vmthreads : bool Pervasives.ref
  val noassert : bool Pervasives.ref
  val verbose : bool Pervasives.ref
  val noprompt : bool Pervasives.ref
  val nopromptcont : bool Pervasives.ref
  val init_file : string option Pervasives.ref
  val noinit : bool Pervasives.ref
  val noversion : bool Pervasives.ref
  val use_prims : string Pervasives.ref
  val use_runtime : string Pervasives.ref
  val principal : bool Pervasives.ref
  val real_paths : bool Pervasives.ref
  val recursive_types : bool Pervasives.ref
  val strict_sequence : bool Pervasives.ref
  val strict_formats : bool Pervasives.ref
  val applicative_functors : bool Pervasives.ref
  val make_runtime : bool Pervasives.ref
  val gprofile : bool Pervasives.ref
  val c_compiler : string option Pervasives.ref
  val no_auto_link : bool Pervasives.ref
  val dllpaths : string list Pervasives.ref
  val make_package : bool Pervasives.ref
  val for_package : string option Pervasives.ref
  val error_size : int Pervasives.ref
  val float_const_prop : bool Pervasives.ref
  val transparent_modules : bool Pervasives.ref
  val dump_source : bool Pervasives.ref
  val dump_parsetree : bool Pervasives.ref
  val dump_typedtree : bool Pervasives.ref
  val dump_rawlambda : bool Pervasives.ref
  val dump_lambda : bool Pervasives.ref
  val dump_rawclambda : bool Pervasives.ref
  val dump_clambda : bool Pervasives.ref
  val dump_rawflambda : bool Pervasives.ref
  val dump_flambda : bool Pervasives.ref
  val dump_flambda_let : int option Pervasives.ref
  val dump_instr : bool Pervasives.ref
  val keep_asm_file : bool Pervasives.ref
  val optimize_for_speed : bool Pervasives.ref
  val dump_cmm : bool Pervasives.ref
  val dump_selection : bool Pervasives.ref
  val dump_cse : bool Pervasives.ref
  val dump_live : bool Pervasives.ref
  val dump_avail : bool Pervasives.ref
  val debug_runavail : bool Pervasives.ref
  val dump_spill : bool Pervasives.ref
  val dump_split : bool Pervasives.ref
  val dump_interf : bool Pervasives.ref
  val dump_prefer : bool Pervasives.ref
  val dump_regalloc : bool Pervasives.ref
  val dump_reload : bool Pervasives.ref
  val dump_scheduling : bool Pervasives.ref
  val dump_linear : bool Pervasives.ref
  val dump_interval : bool Pervasives.ref
  val keep_startup_file : bool Pervasives.ref
  val dump_combine : bool Pervasives.ref
  val native_code : bool Pervasives.ref
  val default_inline_threshold : float
  val inline_threshold : Clflags.Float_arg_helper.parsed Pervasives.ref
  val inlining_report : bool Pervasives.ref
  val simplify_rounds : int option Pervasives.ref
  val default_simplify_rounds : int Pervasives.ref
  val rounds : unit -> int
  val default_inline_max_unroll : int
  val inline_max_unroll : Clflags.Int_arg_helper.parsed Pervasives.ref
  val default_inline_toplevel_threshold : int
  val inline_toplevel_threshold :
    Clflags.Int_arg_helper.parsed Pervasives.ref
  val default_inline_call_cost : int
  val default_inline_alloc_cost : int
  val default_inline_prim_cost : int
  val default_inline_branch_cost : int
  val default_inline_indirect_cost : int
  val default_inline_lifting_benefit : int
  val inline_call_cost : Clflags.Int_arg_helper.parsed Pervasives.ref
  val inline_alloc_cost : Clflags.Int_arg_helper.parsed Pervasives.ref
  val inline_prim_cost : Clflags.Int_arg_helper.parsed Pervasives.ref
  val inline_branch_cost : Clflags.Int_arg_helper.parsed Pervasives.ref
  val inline_indirect_cost : Clflags.Int_arg_helper.parsed Pervasives.ref
  val inline_lifting_benefit : Clflags.Int_arg_helper.parsed Pervasives.ref
  val default_inline_branch_factor : float
  val inline_branch_factor : Clflags.Float_arg_helper.parsed Pervasives.ref
  val dont_write_files : bool Pervasives.ref
  val std_include_flag : string -> string
  val std_include_dir : unit -> string list
  val shared : bool Pervasives.ref
  val dlcode : bool Pervasives.ref
  val pic_code : bool Pervasives.ref
  val runtime_variant : string Pervasives.ref
  val force_slash : bool Pervasives.ref
  val keep_docs : bool Pervasives.ref
  val keep_locs : bool Pervasives.ref
  val unsafe_string : bool Pervasives.ref
  val opaque : bool Pervasives.ref
  val profile_columns : Profile.column list Pervasives.ref
  val flambda_invariant_checks : bool Pervasives.ref
  val unbox_closures : bool Pervasives.ref
  val unbox_closures_factor : int Pervasives.ref
  val default_unbox_closures_factor : int
  val unbox_free_vars_of_closures : bool Pervasives.ref
  val unbox_specialised_args : bool Pervasives.ref
  val clambda_checks : bool Pervasives.ref
  val default_inline_max_depth : int
  val inline_max_depth : Clflags.Int_arg_helper.parsed Pervasives.ref
  val remove_unused_arguments : bool Pervasives.ref
  val dump_flambda_verbose : bool Pervasives.ref
  val classic_inlining : bool Pervasives.ref
  val afl_instrument : bool Pervasives.ref
  val afl_inst_ratio : int Pervasives.ref
  val all_passes : string list Pervasives.ref
  val dumped_pass : string -> bool
  val set_dumped_pass : string -> bool -> unit
  val parse_color_setting : string -> Misc.Color.setting option
  val color : Misc.Color.setting option Pervasives.ref
  val unboxed_types : bool Pervasives.ref
  val arg_spec : (string * Arg.spec * string) list Pervasives.ref
  val add_arguments : string -> (string * Arg.spec * string) list -> unit
  val parse_arguments : Arg.anon_fun -> string -> unit
  val print_arguments : string -> unit
  val reset_arguments : unit -> unit
end