[tlaplus] Generating sequences of functions

[pablo fernandez <fernandezpablo85@xxxxxxxxx>]

Hello!

I have a function that represents a transaction:

[user: 1..3, amount: 1..6]

And would like to have the set of all sequences from 0 to 3 transactions, e.g:

{<<>>, <<[user:1, amount: 0]>>, <<[user:1, amount: 0], [user:2, amount: 0]>> ... }

How can I achieve this?

Pablo

-- 
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/CAN3aEu7h%3DuR%2B4EJSBNP9qMGWddzpkPFo8bccUjPeKFovob-tsQ%40mail.gmail.com.