Module LithoDomain.LocalAccessPath

Access path + its parent procedure

type t = private {
  1. access_path : Absint.AccessPath.t;
  2. parent : IR.Procname.t;
}
include Ppx_compare_lib.Comparable.S with type t := t
val compare : t Base__Ppx_compare_lib.compare
val make_from_pvar : IR.Pvar.t -> IR.Typ.t -> IR.Procname.t -> t
val make_from_access_expression : Absint.HilExp.AccessExpression.t -> IR.Procname.t -> t