jon.recoil.org

Module Flambda2.Expert

module Default : sig ... end
type flags = {
  1. fallback_inlining_heuristic : bool;
  2. inline_effects_in_cmm : bool;
  3. cmm_safe_subst : bool;
  4. phantom_lets : bool;
  5. max_block_size_for_projections : int option;
  6. max_unboxing_depth : int;
  7. can_inline_recursive_functions : bool;
  8. max_function_simplify_run : int;
  9. shorten_symbol_names : bool;
  10. cont_lifting_budget : int;
  11. cont_spec_budget : int;
}
val default_for_opt_level : opt_level or_default -> flags
val fallback_inlining_heuristic : bool or_default ref
val inline_effects_in_cmm : bool or_default ref
val cmm_safe_subst : bool or_default ref
val phantom_lets : bool or_default ref
val max_block_size_for_projections : int option or_default ref
val max_unboxing_depth : int or_default ref
val can_inline_recursive_functions : bool or_default ref
val max_function_simplify_run : int or_default ref
val shorten_symbol_names : bool or_default ref
val cont_lifting_budget : int or_default ref
val cont_spec_budget : int or_default ref