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

[reh...@xxxxxxxxx]

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