Module ImpurityDomain.ModifiedAccess

type t = {
  1. ordered_access_list : unit Absint.MemoryAccess.t list;
    (*

    list of ordered accesses that are oblivious to modified array indices

    *)
  2. trace : trace;
}