Module Flambda2_simplify.Inlining_transforms
val inline :
Flambda2_simplify.Downwards_acc.t ->
apply:Flambda2_terms.Flambda.Import.Apply.t ->
unroll_to:int option ->
was_inline_always:bool ->
Flambda2_types.Function_type.t ->
Flambda2_simplify.Downwards_acc.t * Flambda2_terms.Flambda.Import.Expr.t