Module ImpurityDomain.ModifiedAccess

type t = {
  1. ordered_access_list : unit Pulselib.PulseBasicInterface.Access.access list;
    (*

    list of ordered accesses that are oblivious to modified array indices

    *)
  2. trace : trace;
}