[tlaplus] n-ary Cartesian product

[Mariusz Ryndzionek <mryndzionek@xxxxxxxxx>]

Hello,

I need n-ary Cartesian product operator. Something that would do:

Cartesian({S1, S2, .., Sn}) = S1 \X S2 \X .. Sn

The output shouldn't necessarily be sequences. Sets will do.

Is there already something like this in TLA+?

Regards,

Mariusz

-- 
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/777d286f-858b-42c2-ac89-1d2eac77f01en%40googlegroups.com.