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

*From*: Stephan Merz <stephan.merz@xxxxxxxxx>*Date*: Tue, 23 Feb 2021 13:56:40 +0100*References*: <e402108b-3d4a-4ade-b94c-ad42e152295an@googlegroups.com>

The second argument of SelectSeq is expected to be a predicate (a Boolean-valued operator). In order to retrieve the set of record fields, simply write { seq_of_records[i].a : i \in 1 .. Len(seq_of_records) } Stephan
--
You received this message because you are subscribed to the Google Groups "tlaplus" group. To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx. To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/EFAAABA7-34E0-49A5-A8CC-8AE8F1A1BD75%40gmail.com. |

**Follow-Ups**:**Re: [tlaplus] Operations on a sequence of records***From:*Felipe Lisboa

**References**:**[tlaplus] Operations on a sequence of records***From:*Felipe Lisboa

- Prev by Date:
**[tlaplus] Operations on a sequence of records** - Next by Date:
**Re: [tlaplus] Modelling the Philosophers Dining Problem** - Previous by thread:
**[tlaplus] Operations on a sequence of records** - Next by thread:
**Re: [tlaplus] Operations on a sequence of records** - Index(es):