Hi,
I wonder if it's possible to project a set out of set in TLA+, for example:
If there is a set of sequence:
{<<1, 2>>, <<2, 2>>, <<2, 3>>}
Is it possible to get a result set {2, 3} by extract the second field for all elements within a single statement (not by looping over the set with several actions)?