Module Flambda2_simplify.Simplify_static_const
Simplification of statically-allocated constants bound to symbols.
val simplify_static_consts :
Flambda2_simplify.Downwards_acc.t ->
Flambda2_bound_identifiers.Bound_static.t ->
Flambda2_terms.Flambda.Static_const_group.t ->
simplify_function_body:
Flambda2_simplify.Simplify_common.simplify_function_body ->
Flambda2_bound_identifiers.Bound_static.t
* Flambda2_simplify.Rebuilt_static_const.Group.t
* Flambda2_simplify.Downwards_acc.t