Module `Flambda2_simplify.Mutable_unboxing`

type t

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.t

val make_result : 
  Flambda2_simplify.Mutable_unboxing.t ->
  Flambda2_simplify.Flow_types.Mutable_unboxing_result.t
  * Flambda2_term_basics.Simple.Set.t

val pp_node : 
  Flambda2_simplify.Mutable_unboxing.t ->
  Stdlib.Format.formatter ->
  Flambda2_identifiers.Continuation.t ->
  unit

Module Flambda2_simplify.Mutable_unboxing

Module `Flambda2_simplify.Mutable_unboxing`