I'm working on my first "production" TLA+ specification and have everything working except for one nagging piece.
I have a sequence that looks like: << {1, 2, 3}, {4, 5, 6}, {7, 8, 9} >> and I need to convert it to: {1, 2, 3, 4, 5, 6, 7, 8, 9}
I know that if you have a set of sets, you can just use the UNION operator, but not sure how to Reduce over a sequence like this.
Any help would be appreciated!