Module `PulseBaseMemory.Access`

include IStdlib.PrettyPrintable.PrintableOrderedType with type PrintableOrderedType.t = PulseBasicInterface.AbstractValue.t Absint.HilExp.Access.t

type t = PulseBasicInterface.AbstractValue.t Absint.HilExp.Access.t

val compare : t -> t -> int
val pp : IStdlib.PrettyPrintable.F.formatter -> t -> unit

val equal : t -> t -> bool