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

*From*: Stephan Merz <stephan.merz@xxxxxxxxx>*Date*: Thu, 7 Dec 2023 13:01:04 +0100*References*: <41e5f249-3277-483c-a78d-f1d97cfe0c8dn@googlegroups.com> <451db5cf-c9dd-4126-921a-f13a7ce5a0aen@googlegroups.com> <75eae0be-f016-4bc9-bcca-409d2eadb5c8@gmail.com> <af172a90-7a84-406d-bc7f-ea01b1c8ba34n@googlegroups.com>

Please note that the operators :> and @@ construct functions, do not use function brackets with those operators. That is, you should write something like (0 :> [data |-> "a"]) @@ (1 :> [data |-> "erased"]) 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/4EC0D2BE-DE1B-493D-8DFD-909FA05B2DDB%40gmail.com. |

**Follow-Ups**:

**References**:**[tlaplus] How to get all possible initial states from mutually exclusive sets of records?***From:*Chris Ortiz

**[tlaplus] Re: How to get all possible initial states from mutually exclusive sets of records?***From:*Andrew Helwer

**Re: [tlaplus] Re: How to get all possible initial states from mutually exclusive sets of records?***From:*Hillel Wayne

**Re: [tlaplus] Re: How to get all possible initial states from mutually exclusive sets of records?***From:*Chris Ortiz

- Prev by Date:
**[tlaplus] Re: TLA+ specifications request for project** - Next by Date:
**Re: [tlaplus] How to get all possible initial states from mutually exclusive sets of records?** - Previous by thread:
**Re: [tlaplus] Re: How to get all possible initial states from mutually exclusive sets of records?** - Next by thread:
**Re: [tlaplus] How to get all possible initial states from mutually exclusive sets of records?** - Index(es):