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