[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [tlaplus] Pcal, procedures and tests
SelectSeq(u, LAMBDA x : Test(1,2,x))
Nice! that's exactly what I want. I had not yet used the LAMBDA feature. It is a good opportunity to do that.