Module Flambda2_simplify.Simplify_let_expr
val simplify_let :
simplify_expr:
Flambda2_simplify.Simplify_import.Expr.t
Flambda2_simplify.Simplify_common.expr_simplifier ->
simplify_function_body:
Flambda2_simplify.Simplify_common.simplify_function_body ->
Flambda2_simplify.Simplify_import.Let.t
Flambda2_simplify.Simplify_common.expr_simplifierval simplify_let_with_bound_pattern :
simplify_expr_with_bound_pattern:
(Flambda2_bound_identifiers.Bound_pattern.t
* Flambda2_simplify.Simplify_import.Expr.t)
Flambda2_simplify.Simplify_common.expr_simplifier ->
simplify_function_body:
Flambda2_simplify.Simplify_common.simplify_function_body ->
Flambda2_simplify.Simplify_import.Let.t
Flambda2_simplify.Simplify_common.expr_simplifier