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.t

val get_rec_info : 
  Flambda2_simplify.Downwards_acc.t ->
  function_type:Flambda2_types.Function_type.t ->
  Flambda2_term_basics.Rec_info_expr.t

Module Flambda2_simplify.Call_site_inlining_decision

Module `Flambda2_simplify.Call_site_inlining_decision`