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

[Y2i <yur...@xxxxxxxxx>]

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.

Yuri