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

Re: [tlaplus] Recursive definitions of higher-order operators

Thank you Steve!  Nothing is wrong with your sample, I simply forgot that SelectSeq exists.

I'm still curious about the answer to my question because FlatMap from Ron's response and SortSet are other operators that I'd like to use.