Module Flambda2_simplify.Data_flow_graph
val print : Format.formatter -> t -> unitPrinting 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 ->
tCreate the data flow graph
val required_names : t -> Flow_types.Data_flow_result.tRun the required names analysis