Module Flambda_features.Inlining
val max_depth : Flambda2_ui.Flambda_features.Inlining.round_or_default -> intmax_depth returns the user's value multipled by depth_scaling_factor.
val max_rec_depth :
Flambda2_ui.Flambda_features.Inlining.round_or_default ->
intval call_cost : Flambda2_ui.Flambda_features.Inlining.round_or_default -> floatval alloc_cost :
Flambda2_ui.Flambda_features.Inlining.round_or_default ->
floatval prim_cost : Flambda2_ui.Flambda_features.Inlining.round_or_default -> floatval branch_cost :
Flambda2_ui.Flambda_features.Inlining.round_or_default ->
floatval indirect_call_cost :
Flambda2_ui.Flambda_features.Inlining.round_or_default ->
floatval poly_compare_cost :
Flambda2_ui.Flambda_features.Inlining.round_or_default ->
floatval small_function_size :
Flambda2_ui.Flambda_features.Inlining.round_or_default ->
intval large_function_size :
Flambda2_ui.Flambda_features.Inlining.round_or_default ->
intval threshold : Flambda2_ui.Flambda_features.Inlining.round_or_default -> float