[tlaplus] How do define a higher-order CONSTANT operator?

[Nam Nguyen <bitsink@xxxxxxxxx>]

Hi,

I'm trying the following:

```

CONSTANTS X(_, _)

LOCAL Err == X(1, LAMBDA y: y)

```

This introduces a parsing error at LAMBDA. If I change X to

CONSTANTS X(_, F(_))

then the parsing error is at F.

How do I define a higher-order constant operator?

Thanks!

-- 
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/3a468826-b8f0-40af-b8d6-0460adac2b71n%40googlegroups.com.