# Trying to search for a specific entry in each member of a set of sequences

In CCal, I have a set of sequences

variables
WriteRespQs = [qPerInstance \in Instances |-> <<>>];
Where I append responses
macro writeProcess() {
...
WriteRespQs[self] := Append(WriteRespQs[self], WriteResponse(WriteResp, currentVersion, ResponseFailure, msg.reqID));
...
}

There is a process for each Instance.
One the receiver side, I need to look for a secific reqID across all the entire WriteRespQs set.

What could be an optimal way to do this?

---Ritesh

• Follow-Ups: