[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Projection on Set

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)?