Module `Global_flow_graph.Relations`

type 'a atom = [> `Atom of Flambda2_datalog.Datalog.atom ] as 'a

type 'a term = 'a Flambda2_datalog.Datalog.Term.t

val alias : 
  to_:
    Flambda2_identifiers.Code_id_or_name.t
      Flambda2_reaper.Global_flow_graph.Relations.term ->
  from:
    Flambda2_identifiers.Code_id_or_name.t
      Flambda2_reaper.Global_flow_graph.Relations.term ->
  _ Flambda2_reaper.Global_flow_graph.Relations.atom

val use : 
  to_:
    Flambda2_identifiers.Code_id_or_name.t
      Flambda2_reaper.Global_flow_graph.Relations.term ->
  from:
    Flambda2_identifiers.Code_id_or_name.t
      Flambda2_reaper.Global_flow_graph.Relations.term ->
  _ Flambda2_reaper.Global_flow_graph.Relations.atom

val accessor : 
  to_:
    Flambda2_identifiers.Code_id_or_name.t
      Flambda2_reaper.Global_flow_graph.Relations.term ->
  Flambda2_reaper.Field.t Flambda2_reaper.Global_flow_graph.Relations.term ->
  base:
    Flambda2_identifiers.Code_id_or_name.t
      Flambda2_reaper.Global_flow_graph.Relations.term ->
  _ Flambda2_reaper.Global_flow_graph.Relations.atom

val constructor : 
  base:
    Flambda2_identifiers.Code_id_or_name.t
      Flambda2_reaper.Global_flow_graph.Relations.term ->
  Flambda2_reaper.Field.t Flambda2_reaper.Global_flow_graph.Relations.term ->
  from:
    Flambda2_identifiers.Code_id_or_name.t
      Flambda2_reaper.Global_flow_graph.Relations.term ->
  _ Flambda2_reaper.Global_flow_graph.Relations.atom

val coaccessor : 
  to_:
    Flambda2_identifiers.Code_id_or_name.t
      Flambda2_reaper.Global_flow_graph.Relations.term ->
  Flambda2_reaper.Cofield.t Flambda2_reaper.Global_flow_graph.Relations.term ->
  base:
    Flambda2_identifiers.Code_id_or_name.t
      Flambda2_reaper.Global_flow_graph.Relations.term ->
  _ Flambda2_reaper.Global_flow_graph.Relations.atom

val coconstructor : 
  base:
    Flambda2_identifiers.Code_id_or_name.t
      Flambda2_reaper.Global_flow_graph.Relations.term ->
  Flambda2_reaper.Cofield.t Flambda2_reaper.Global_flow_graph.Relations.term ->
  from:
    Flambda2_identifiers.Code_id_or_name.t
      Flambda2_reaper.Global_flow_graph.Relations.term ->
  _ Flambda2_reaper.Global_flow_graph.Relations.atom

val propagate : 
  if_used:
    Flambda2_identifiers.Code_id_or_name.t
      Flambda2_reaper.Global_flow_graph.Relations.term ->
  to_:
    Flambda2_identifiers.Code_id_or_name.t
      Flambda2_reaper.Global_flow_graph.Relations.term ->
  from:
    Flambda2_identifiers.Code_id_or_name.t
      Flambda2_reaper.Global_flow_graph.Relations.term ->
  _ Flambda2_reaper.Global_flow_graph.Relations.atom

val alias_if_any_source : 
  if_any_source:
    Flambda2_identifiers.Code_id_or_name.t
      Flambda2_reaper.Global_flow_graph.Relations.term ->
  to_:
    Flambda2_identifiers.Code_id_or_name.t
      Flambda2_reaper.Global_flow_graph.Relations.term ->
  from:
    Flambda2_identifiers.Code_id_or_name.t
      Flambda2_reaper.Global_flow_graph.Relations.term ->
  _ Flambda2_reaper.Global_flow_graph.Relations.atom

val any_usage : 
  Flambda2_identifiers.Code_id_or_name.t
    Flambda2_reaper.Global_flow_graph.Relations.term ->
  _ Flambda2_reaper.Global_flow_graph.Relations.atom

val any_source : 
  Flambda2_identifiers.Code_id_or_name.t
    Flambda2_reaper.Global_flow_graph.Relations.term ->
  _ Flambda2_reaper.Global_flow_graph.Relations.atom

val code_id_my_closure : 
  code_id:
    Flambda2_identifiers.Code_id_or_name.t
      Flambda2_reaper.Global_flow_graph.Relations.term ->
  my_closure:
    Flambda2_identifiers.Code_id_or_name.t
      Flambda2_reaper.Global_flow_graph.Relations.term ->
  _ Flambda2_reaper.Global_flow_graph.Relations.atom

Module Global_flow_graph.Relations

Module `Global_flow_graph.Relations`