Module Flambda2_simplify.Simplify_switch_expr
val simplify_switch :
simplify_let_with_bound_pattern:
(simplify_expr_with_bound_pattern:
(Flambda2_bound_identifiers.Bound_pattern.t
* Flambda2_terms.Flambda.Expr.t)
Flambda2_simplify.Simplify_common.expr_simplifier ->
simplify_function_body:
Flambda2_simplify.Simplify_common.simplify_function_body ->
Flambda2_terms.Flambda.Let.t
Flambda2_simplify.Simplify_common.expr_simplifier) ->
simplify_function_body:
Flambda2_simplify.Simplify_common.simplify_function_body ->
Flambda2_terms.Flambda.Switch.t
Flambda2_simplify.Simplify_common.expr_simplifier