Module Flambda2_simplify.Call_site_inlining_decision
val make_decision :
Flambda2_simplify.Downwards_acc.t ->
simplify_expr:
Flambda2_terms.Flambda.Import.Expr.t
Flambda2_simplify.Simplify_common.expr_simplifier ->
function_type:Flambda2_types.Function_type.t ->
apply:Flambda2_terms.Flambda.Import.Apply.t ->
return_arity:[ `Unarized ] Flambda2_kinds.Flambda_arity.t ->
Flambda2_simplify_shared.Call_site_inlining_decision_type.tval get_rec_info :
Flambda2_simplify.Downwards_acc.t ->
function_type:Flambda2_types.Function_type.t ->
Flambda2_term_basics.Rec_info_expr.t