Module ImpurityDomain.ModifiedAccess

type t = {
ordered_access_list : unit Absint.HilExp.Access.t list;

list of ordered accesses that are oblivious to modified array indices

trace : trace;
}