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

Re: [tlaplus] Checking whether something is a record or a set?

I actually duplicated Stephan's original response:

> but in practice one tends to be more interested in checking if a record is an element of a particular set of records.

I'll read full threads more carefully next time.