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

[tlaplus] What operators are defined in TLA+ BUILTINS?

The operator TRUE, for example, is not part of the language spec. However if you try to define it:

TRUE == 5

You get a parser error saying it is already defined in module --TLA+ BUILTINS--. What other operators are defined in this module?

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/e66c183c-d270-4807-9d2a-fab593539cbbn%40googlegroups.com.