Module `LithoDomain.LocalAccessPath`

Access path + its parent procedure

type t = private { access_path : Absint.AccessPath.t; parent : IR.Procname.t; }

val compare : t -> t -> int

val make : Absint.AccessPath.t -> IR.Procname.t -> t
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