AccessPath.Abs
type raw = t
include Ppx_compare_lib.Comparable.S with type t := t
val compare : t Base__Ppx_compare_lib.compare
replace the base var with a footprint variable rooted at formal index formal_index
val get_footprint_index_base : base -> int option
return the formal index associated with the base of this access path if there is one, or None otherwise
swap base of existing access path for base_var
(e.g., `with_base_bvar x y.f.g` produces `x.f.g`
val is_exact : t -> bool
return true if t
is an exact representation of an access path, false if it's an abstraction
val pp : Stdlib.Format.formatter -> t -> unit