Environments and result structures used during inlining and simplification. (See inline_and_simplify.ml.)
module Env : sig ... endmodule Result : sig ... endval initial_inlining_threshold : round:int -> Inlining_cost.Threshold.tCommand line argument -inline
val initial_inlining_toplevel_threshold :
round:int ->
Inlining_cost.Threshold.tCommand line argument -inline-toplevel
val prepare_to_simplify_set_of_closures :
env:Env.t ->
set_of_closures:Flambda.set_of_closures ->
function_decls:Flambda.function_declarations ->
freshen:bool ->
only_for_function_decl:Flambda.function_declaration option ->
(Flambda.specialised_to * Simple_value_approx.t) Variable.Map.t
* Flambda.specialised_to Variable.Map.t
* Flambda.function_declarations
* Simple_value_approx.t Variable.Map.t
* Simple_value_approx.value_set_of_closures
* Env.tval 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.tval keep_body_check :
is_classic_mode:bool ->
recursive:Variable.Set.t Lazy.t ->
Variable.t ->
Flambda.function_declaration ->
bool
