Re: [tlaplus] Generating sequences of functions

[Markus Kuppe <tlaplus-google-group@xxxxxxxxxxx>]

On 10/4/21 3:35 PM, pablo fernandez wrote:
> 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


{ <<e>> : e \in [user: 1..3, amount: 1..6]} \cup {<<>>}

M.

--
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/d620096d-1779-9605-6e7c-342ae3c72713%40lemmster.de.