Module `Flambda2_reaper.Global_flow_graph`

type graph

val to_datalog : 
  Flambda2_reaper.Global_flow_graph.graph ->
  Flambda2_datalog.Datalog.database

module Relations : sig ... end

val add_alias : 
  Flambda2_reaper.Global_flow_graph.graph ->
  to_:Flambda2_identifiers.Code_id_or_name.t ->
  from:Flambda2_identifiers.Code_id_or_name.t ->
  unit

val add_use_dep : 
  Flambda2_reaper.Global_flow_graph.graph ->
  to_:Flambda2_identifiers.Code_id_or_name.t ->
  from:Flambda2_identifiers.Code_id_or_name.t ->
  unit

val add_accessor_dep : 
  Flambda2_reaper.Global_flow_graph.graph ->
  to_:Flambda2_identifiers.Code_id_or_name.t ->
  Flambda2_reaper.Field.t ->
  base:Flambda2_identifiers.Code_id_or_name.t ->
  unit

val add_constructor_dep : 
  Flambda2_reaper.Global_flow_graph.graph ->
  base:Flambda2_identifiers.Code_id_or_name.t ->
  Flambda2_reaper.Field.t ->
  from:Flambda2_identifiers.Code_id_or_name.t ->
  unit

val add_coaccessor_dep : 
  Flambda2_reaper.Global_flow_graph.graph ->
  to_:Flambda2_identifiers.Code_id_or_name.t ->
  Flambda2_reaper.Cofield.t ->
  base:Flambda2_identifiers.Code_id_or_name.t ->
  unit

val add_coconstructor_dep : 
  Flambda2_reaper.Global_flow_graph.graph ->
  base:Flambda2_identifiers.Code_id_or_name.t ->
  Flambda2_reaper.Cofield.t ->
  from:Flambda2_identifiers.Code_id_or_name.t ->
  unit

val add_propagate_dep : 
  Flambda2_reaper.Global_flow_graph.graph ->
  if_used:Flambda2_identifiers.Code_id_or_name.t ->
  to_:Flambda2_identifiers.Code_id_or_name.t ->
  from:Flambda2_identifiers.Code_id_or_name.t ->
  unit

val add_alias_if_any_source_dep : 
  Flambda2_reaper.Global_flow_graph.graph ->
  if_any_source:Flambda2_identifiers.Code_id_or_name.t ->
  to_:Flambda2_identifiers.Code_id_or_name.t ->
  from:Flambda2_identifiers.Code_id_or_name.t ->
  unit

val add_any_usage : 
  Flambda2_reaper.Global_flow_graph.graph ->
  Flambda2_identifiers.Code_id_or_name.t ->
  unit

val add_any_source : 
  Flambda2_reaper.Global_flow_graph.graph ->
  Flambda2_identifiers.Code_id_or_name.t ->
  unit

val add_code_id_my_closure : 
  Flambda2_reaper.Global_flow_graph.graph ->
  Flambda2_identifiers.Code_id.t ->
  Flambda2_identifiers.Variable.t ->
  unit

val create : unit -> Flambda2_reaper.Global_flow_graph.graph

val add_opaque_let_dependency : 
  Flambda2_reaper.Global_flow_graph.graph ->
  to_:Flambda2_bound_identifiers.Bound_pattern.t ->
  from:Flambda2_nominal.Name_occurrences.t ->
  unit

val print_iter_edges : 
  print_edge:
    ((Flambda2_identifiers.Code_id_or_name.t
      * Flambda2_identifiers.Code_id_or_name.t
      * string) ->
      unit) ->
  Flambda2_reaper.Global_flow_graph.graph ->
  unit

Module Flambda2_reaper.Global_flow_graph

Module `Flambda2_reaper.Global_flow_graph`