Z Notation: sequence of sequences - find sum Let me just say that this is for a university project. I do not expect an answer but more of a &quot;hint&quot;.
I have a schema of a Supermarket that holds a sequence of queues:
+-- Supermarket-------
|queues: seq Queue
----------------------

And here is how I've defined a queue:
+-- Queue ----------
|length: ℕ
--------------------

I wish to define a schema that returns the total number of customers, waiting in line. Thus far I have:
+--TotalQueueCustomers----
|Ξsupermarket: Supermarket
|totalCustomers!: ℕ
|-------------------------
|totalCustomers = total θ supermarket
--------------------------

I'm struggling with defining the total function. It needs to &quot;loop&quot; every customer in every queue and sum their lengths. Here is what I have so far: total = q: Queue ⦁ q.length ↦ q.length
Any idea?
I am not aware of the Z notation but here's what you have to do:
step 1: initialize a variable total to 0
step 2: loop through all queues
step 3: add the length of every queue to total