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

[Y2i <yur...@xxxxxxxxx>]

Just a thought:

If a Record is defined as a set of records (p. 28 in Specifying Systems), then

IsRecord(r) == r \in Record

should do the test.  I use this approach for my TypeInvariants.

Thank you,

Yuri