Module `Flambda2_simplify.Data_flow_graph`

type t

An internal type for the data_flow graph

val print : Format.formatter -> t -> unit

Printing function

val create : 
  return_continuation:Flambda2_identifiers.Continuation.t ->
  exn_continuation:Flambda2_identifiers.Continuation.t ->
  code_age_relation:Flambda2_types.Code_age_relation.t ->
  used_value_slots:
    Flambda2_nominal.Name_occurrences.t Flambda2_lattices.Or_unknown.t ->
  code_ids_to_never_delete:Flambda2_identifiers.Code_id.Set.t ->
  Flow_types.Continuation_info.t Flambda2_identifiers.Continuation.Map.t ->
  t

Create the data flow graph

val required_names : t -> Flow_types.Data_flow_result.t

Run the required names analysis

Module Flambda2_simplify.Data_flow_graph

Module `Flambda2_simplify.Data_flow_graph`