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

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



Another thought:

To test if something is a set of records, I use

IsSet(s) == s \subseteq Record

The main idea is to define a Record as a set of records.