Module Flambda2_simplify.Mutable_unboxing
val create :
dom:Flambda2_simplify.Dominator_graph.alias_map ->
dom_graph:Flambda2_simplify.Dominator_graph.t ->
source_info:Flambda2_simplify.Flow_types.Acc.t ->
control_flow_graph:Flambda2_simplify.Control_flow_graph.t ->
required_names:Flambda2_identifiers.Name.Set.t ->
return_continuation:Flambda2_identifiers.Continuation.t ->
exn_continuation:Flambda2_identifiers.Continuation.t ->
machine_width:Target_system.Machine_width.t ->
Flambda2_simplify.Mutable_unboxing.tval pp_node :
Flambda2_simplify.Mutable_unboxing.t ->
Stdlib.Format.formatter ->
Flambda2_identifiers.Continuation.t ->
unit