package reason

  1. Overview
  2. Docs
package reason
Legend:
Library
Module
Module type
Parameter
Class
Class type
include module type of Ocaml_common.Clflags
module Int_arg_helper : sig ... end
module Float_arg_helper : sig ... end
type inlining_arguments = Clflags.inlining_arguments = {
  1. inline_call_cost : int option;
  2. inline_alloc_cost : int option;
  3. inline_prim_cost : int option;
  4. inline_branch_cost : int option;
  5. inline_indirect_cost : int option;
  6. inline_lifting_benefit : int option;
  7. inline_branch_factor : float option;
  8. inline_max_depth : int option;
  9. inline_max_unroll : int option;
  10. inline_threshold : float option;
  11. inline_toplevel_threshold : int option;
}
val classic_arguments : inlining_arguments
val o1_arguments : inlining_arguments
val o2_arguments : inlining_arguments
val o3_arguments : inlining_arguments
val use_inlining_arguments_set : ?round:int -> inlining_arguments -> unit
val objfiles : string list Stdlib.ref
val ccobjs : string list Stdlib.ref
val dllibs : string list Stdlib.ref
val cmi_file : string option 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 no_cwd : 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 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 safer_matching : bool 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 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_shape : 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_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 : 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 : Int_arg_helper.parsed Stdlib.ref
val default_inline_toplevel_threshold : int
val inline_toplevel_threshold : 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 : Int_arg_helper.parsed Stdlib.ref
val inline_alloc_cost : Int_arg_helper.parsed Stdlib.ref
val inline_prim_cost : Int_arg_helper.parsed Stdlib.ref
val inline_branch_cost : Int_arg_helper.parsed Stdlib.ref
val inline_indirect_cost : Int_arg_helper.parsed Stdlib.ref
val inline_lifting_benefit : Int_arg_helper.parsed Stdlib.ref
val default_inline_branch_factor : float
val inline_branch_factor : 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 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 cmm_invariants : bool Stdlib.ref
val default_inline_max_depth : int
val inline_max_depth : 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
val dump_dir : string option Stdlib.ref
type !'a env_reader = 'a Clflags.env_reader = {
  1. parse : string -> 'a option;
  2. print : 'a -> string;
  3. usage : string;
  4. env_var : string;
}
val color : Misc.Color.setting option Stdlib.ref
val color_reader : Misc.Color.setting env_reader
val error_style : Misc.Error_style.setting option Stdlib.ref
val error_style_reader : Misc.Error_style.setting env_reader
val unboxed_types : bool Stdlib.ref
val insn_sched : bool Stdlib.ref
val insn_sched_default : bool
module Compiler_pass : sig ... end
val stop_after : Compiler_pass.t option Stdlib.ref
val should_stop_after : Compiler_pass.t -> bool
val set_save_ir_after : Compiler_pass.t -> bool -> unit
val should_save_ir_after : 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 create_usage_msg : string -> string
val print_arguments : string -> unit
val reset_arguments : unit -> unit
val fast : bool Stdlib.ref
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct