Module `Flambda2_simplify.Mutable_unboxing`

type t

val create : 
  dom:Dominator_graph.alias_map ->
  dom_graph:Dominator_graph.t ->
  source_info:Flow_types.Acc.t ->
  control_flow_graph: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 ->
  t

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

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

Module Flambda2_simplify.Mutable_unboxing

Module `Flambda2_simplify.Mutable_unboxing`