`type t````= private`

`|` `Read of InferIR.AccessPath.t` | (** Field or array read *)
`|` `Write of InferIR.AccessPath.t` | (** Field or array write *)
`|` `ContainerRead of InferIR.AccessPath.t * InferIR.Typ.Procname.t` | (** Read of container object *)
`|` `ContainerWrite of InferIR.AccessPath.t * InferIR.Typ.Procname.t` | (** Write to container object *)
`|` `InterfaceCall of InferIR.Typ.Procname.t` | (** Call to method of interface not annotated with @ThreadSafe *)

``
`include InferStdlib.PrettyPrintable.PrintableOrderedType with type PrintableOrderedType.t := t`
`include InferStdlib.IStd.Caml.Set.OrderedType`
`type t`````
`val compare : t ‑> t ‑> int`
`val pp : InferStdlib.PrettyPrintable.F.formatter ‑> t ‑> unit`
`val matches : caller:t ‑> callee:t ‑> bool`

returns true if the caller access matches the callee access after accounting for mismatch between the formals and actuals

`val get_access_path : t ‑> InferIR.AccessPath.t option`
`val equal : t ‑> t ‑> bool`