package ocaml-base-compiler

  1. Overview
  2. Docs

Environments and result structures used during inlining and simplification. (See inline_and_simplify.ml.)

module Env : sig ... end
module Result : sig ... end
val initial_inlining_threshold : round:int -> Inlining_cost.Threshold.t

Command line argument -inline

val initial_inlining_toplevel_threshold : round:int -> Inlining_cost.Threshold.t

Command line argument -inline-toplevel

val prepare_to_simplify_closure : function_decl:Flambda.function_declaration -> free_vars:(Flambda.specialised_to * Simple_value_approx.t) Variable.Map.t -> specialised_args:Flambda.specialised_to Variable.Map.t -> parameter_approximations:Simple_value_approx.t Variable.Map.t -> set_of_closures_env:Env.t -> Env.t
val keep_body_check : is_classic_mode:bool -> recursive:Variable.Set.t Lazy.t -> Variable.t -> Flambda.function_declaration -> bool