ImpurityDomain.ModifiedAccess
type t = {
ordered_access_list : unit Pulselib.PulseBasicInterface.Access.access list;
list of ordered accesses that are oblivious to modified array indices
trace : trace;
}