sig module Int_arg_helper : sig type parsed val parse : string -> string -> Clflags.Int_arg_helper.parsed Stdlib.ref -> unit type parse_result = Ok | Parse_failed of exn val parse_no_error : string -> Clflags.Int_arg_helper.parsed Stdlib.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 Stdlib.ref -> unit type parse_result = Ok | Parse_failed of exn val parse_no_error : string -> Clflags.Float_arg_helper.parsed Stdlib.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 Stdlib.ref val ccobjs : string list Stdlib.ref val dllibs : string list Stdlib.ref val compile_only : bool Stdlib.ref val output_name : string option Stdlib.ref val include_dirs : string list Stdlib.ref val no_std_include : bool Stdlib.ref val print_types : bool Stdlib.ref val make_archive : bool Stdlib.ref val debug : bool Stdlib.ref val debug_full : bool Stdlib.ref val unsafe : bool Stdlib.ref val use_linscan : bool Stdlib.ref val link_everything : bool Stdlib.ref val custom_runtime : bool Stdlib.ref val no_check_prims : bool Stdlib.ref val bytecode_compatible_32 : bool Stdlib.ref val output_c_object : bool Stdlib.ref val output_complete_object : bool Stdlib.ref val output_complete_executable : bool Stdlib.ref val all_ccopts : string list Stdlib.ref val classic : bool Stdlib.ref val nopervasives : bool Stdlib.ref val match_context_rows : int Stdlib.ref val open_modules : string list Stdlib.ref val preprocessor : string option Stdlib.ref val all_ppx : string list Stdlib.ref val absname : bool Stdlib.ref val annotations : bool Stdlib.ref val binary_annotations : bool Stdlib.ref val use_threads : bool Stdlib.ref val noassert : bool Stdlib.ref val verbose : bool Stdlib.ref val noprompt : bool Stdlib.ref val nopromptcont : bool Stdlib.ref val init_file : string option Stdlib.ref val noinit : bool Stdlib.ref val noversion : bool Stdlib.ref val use_prims : string Stdlib.ref val use_runtime : string Stdlib.ref val plugin : bool Stdlib.ref val principal : bool Stdlib.ref val real_paths : bool Stdlib.ref val recursive_types : bool Stdlib.ref val strict_sequence : bool Stdlib.ref val strict_formats : bool Stdlib.ref val applicative_functors : bool Stdlib.ref val make_runtime : bool Stdlib.ref val c_compiler : string option Stdlib.ref val no_auto_link : bool Stdlib.ref val dllpaths : string list Stdlib.ref val make_package : bool Stdlib.ref val for_package : string option Stdlib.ref val error_size : int Stdlib.ref val float_const_prop : bool Stdlib.ref val transparent_modules : bool Stdlib.ref val unique_ids : bool Stdlib.ref val locations : bool Stdlib.ref val dump_source : bool Stdlib.ref val dump_parsetree : bool Stdlib.ref val dump_typedtree : bool Stdlib.ref val dump_rawlambda : bool Stdlib.ref val dump_lambda : bool Stdlib.ref val dump_rawclambda : bool Stdlib.ref val dump_clambda : bool Stdlib.ref val dump_rawflambda : bool Stdlib.ref val dump_flambda : bool Stdlib.ref val dump_flambda_let : int option Stdlib.ref val dump_instr : bool Stdlib.ref val keep_camlprimc_file : bool Stdlib.ref val keep_asm_file : bool Stdlib.ref val optimize_for_speed : bool Stdlib.ref val dump_cmm : bool Stdlib.ref val dump_selection : bool Stdlib.ref val dump_cse : bool Stdlib.ref val dump_live : bool Stdlib.ref val dump_avail : bool Stdlib.ref val debug_runavail : bool Stdlib.ref val dump_spill : bool Stdlib.ref val dump_split : bool Stdlib.ref val dump_interf : bool Stdlib.ref val dump_prefer : bool Stdlib.ref val dump_regalloc : bool Stdlib.ref val dump_reload : bool Stdlib.ref val dump_scheduling : bool Stdlib.ref val dump_linear : bool Stdlib.ref val dump_interval : bool Stdlib.ref val keep_startup_file : bool Stdlib.ref val dump_combine : bool Stdlib.ref val native_code : bool Stdlib.ref val default_inline_threshold : float val inline_threshold : Clflags.Float_arg_helper.parsed Stdlib.ref val inlining_report : bool Stdlib.ref val simplify_rounds : int option Stdlib.ref val default_simplify_rounds : int Stdlib.ref val rounds : unit -> int val default_inline_max_unroll : int val inline_max_unroll : Clflags.Int_arg_helper.parsed Stdlib.ref val default_inline_toplevel_threshold : int val inline_toplevel_threshold : Clflags.Int_arg_helper.parsed Stdlib.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 Stdlib.ref val inline_alloc_cost : Clflags.Int_arg_helper.parsed Stdlib.ref val inline_prim_cost : Clflags.Int_arg_helper.parsed Stdlib.ref val inline_branch_cost : Clflags.Int_arg_helper.parsed Stdlib.ref val inline_indirect_cost : Clflags.Int_arg_helper.parsed Stdlib.ref val inline_lifting_benefit : Clflags.Int_arg_helper.parsed Stdlib.ref val default_inline_branch_factor : float val inline_branch_factor : Clflags.Float_arg_helper.parsed Stdlib.ref val dont_write_files : bool Stdlib.ref val std_include_flag : string -> string val std_include_dir : unit -> string list val shared : bool Stdlib.ref val dlcode : bool Stdlib.ref val pic_code : bool Stdlib.ref val runtime_variant : string Stdlib.ref val with_runtime : bool Stdlib.ref val force_slash : bool Stdlib.ref val keep_docs : bool Stdlib.ref val keep_locs : bool Stdlib.ref val unsafe_string : bool Stdlib.ref val opaque : bool Stdlib.ref val profile_columns : Profile.column list Stdlib.ref val flambda_invariant_checks : bool Stdlib.ref val unbox_closures : bool Stdlib.ref val unbox_closures_factor : int Stdlib.ref val default_unbox_closures_factor : int val unbox_free_vars_of_closures : bool Stdlib.ref val unbox_specialised_args : bool Stdlib.ref val clambda_checks : bool Stdlib.ref val default_inline_max_depth : int val inline_max_depth : Clflags.Int_arg_helper.parsed Stdlib.ref val remove_unused_arguments : bool Stdlib.ref val dump_flambda_verbose : bool Stdlib.ref val classic_inlining : bool Stdlib.ref val afl_instrument : bool Stdlib.ref val afl_inst_ratio : int Stdlib.ref val function_sections : bool Stdlib.ref val all_passes : string list Stdlib.ref val dumped_pass : string -> bool val set_dumped_pass : string -> bool -> unit val dump_into_file : bool Stdlib.ref type 'a env_reader = { parse : string -> 'a option; print : 'a -> string; usage : string; env_var : string; } val color : Misc.Color.setting option Stdlib.ref val color_reader : Misc.Color.setting Clflags.env_reader val error_style : Misc.Error_style.setting option Stdlib.ref val error_style_reader : Misc.Error_style.setting Clflags.env_reader val unboxed_types : bool Stdlib.ref val insn_sched : bool Stdlib.ref val insn_sched_default : bool module Compiler_pass : sig type t = Parsing | Typing | Scheduling | Emit val of_string : string -> Clflags.Compiler_pass.t option val to_string : Clflags.Compiler_pass.t -> string val is_compilation_pass : Clflags.Compiler_pass.t -> bool val available_pass_names : filter:(Clflags.Compiler_pass.t -> bool) -> native:bool -> string list val can_save_ir_after : Clflags.Compiler_pass.t -> bool val compare : Clflags.Compiler_pass.t -> Clflags.Compiler_pass.t -> int val to_output_filename : Clflags.Compiler_pass.t -> prefix:string -> string val of_input_filename : string -> Clflags.Compiler_pass.t option end val stop_after : Clflags.Compiler_pass.t option Stdlib.ref val should_stop_after : Clflags.Compiler_pass.t -> bool val set_save_ir_after : Clflags.Compiler_pass.t -> bool -> unit val should_save_ir_after : Clflags.Compiler_pass.t -> bool val arg_spec : (string * Stdlib.Arg.spec * string) list Stdlib.ref val add_arguments : string -> (string * Stdlib.Arg.spec * string) list -> unit val parse_arguments : string array -> Stdlib.Arg.anon_fun -> string -> unit val print_arguments : string -> unit val reset_arguments : unit -> unit end