Module Flambda2_simplify.Simplify_named
Simplification of the right-hand sides of Let bindings.
val simplify_named :
Downwards_acc.t ->
Flambda2_bound_identifiers.Bound_pattern.t ->
Flambda2_terms.Flambda.Named.t ->
simplify_function_body:Simplify_common.simplify_function_body ->
(Simplify_named_result.t Flambda2_term_basics.Or_invalid.t
* Flambda2_terms.Removed_operations.t)
Simplified_named.or_rewritten