package untitled

context CentralHost def:
  clientsTable:Sequence(TupleType(client:Client, 
                                accountNumber:Integer)) =
    clients->collect(owner:Client | 
      owner.accounts->collect(accNr:Integer | 
        Tuple{client:Client = owner, accountNumber:Integer = accNr}))->asSequence()

endpackage