Module Points_to_analysis.Relations
type 'a atom = [> `Atom of Flambda2_datalog.Datalog.atom ] as 'atype 'a term = 'a Flambda2_datalog.Datalog.Term.tval usages :
Flambda2_identifiers.Code_id_or_name.t term ->
Flambda2_identifiers.Code_id_or_name.t term ->
_ atomval sources :
Flambda2_identifiers.Code_id_or_name.t term ->
Flambda2_identifiers.Code_id_or_name.t term ->
_ atomval rev_alias :
from:Flambda2_identifiers.Code_id_or_name.t term ->
to_:Flambda2_identifiers.Code_id_or_name.t term ->
_ atomval rev_use :
from:Flambda2_identifiers.Code_id_or_name.t term ->
to_:Flambda2_identifiers.Code_id_or_name.t term ->
_ atomval rev_constructor :
from:Flambda2_identifiers.Code_id_or_name.t term ->
Field.t term ->
base:Flambda2_identifiers.Code_id_or_name.t term ->
_ atomval rev_accessor :
base:Flambda2_identifiers.Code_id_or_name.t term ->
Field.t term ->
to_:Flambda2_identifiers.Code_id_or_name.t term ->
_ atomval rev_parameter :
to_:Flambda2_identifiers.Code_id_or_name.t term ->
Cofield.t term ->
base:Flambda2_identifiers.Code_id_or_name.t term ->
_ atomval rev_argument :
base:Flambda2_identifiers.Code_id_or_name.t term ->
Cofield.t term ->
from:Flambda2_identifiers.Code_id_or_name.t term ->
_ atomval reading_field :
Field.t term ->
Flambda2_identifiers.Code_id_or_name.t term ->
_ atomval escaping_field :
Field.t term ->
Flambda2_identifiers.Code_id_or_name.t term ->
_ atomval has_usage : Flambda2_identifiers.Code_id_or_name.t term -> _ atomval has_source : Flambda2_identifiers.Code_id_or_name.t term -> _ atomval field_of_constructor_is_used_tbl :
(unit Field.Map.t Flambda2_identifiers.Code_id_or_name.Map.t,
Flambda2_identifiers.Code_id_or_name.t ->
Field.t ->
Flambda2_datalog.Datalog.nil,
unit)
Flambda2_datalog.Datalog.tableval field_of_constructor_is_used :
Flambda2_identifiers.Code_id_or_name.t term ->
Field.t term ->
_ atomval allocation_point_dominator :
Flambda2_identifiers.Code_id_or_name.t term ->
Flambda2_identifiers.Code_id_or_name.t term ->
_ atomval dominated_by_allocation_point :
Flambda2_identifiers.Code_id_or_name.t term ->
Flambda2_identifiers.Code_id_or_name.t term ->
_ atom