Re: [tlaplus] meaning of the lead to (~>) operator

[Markus Kuppe <tlaplus-google-group@xxxxxxxxxxx>]

On 14.04.21 11:33, Isaac DeFrain wrote:
> Is there a gauge on how widespread this issue is? The ~> operator seems 
> to work as expected with some state predicates and not others...

Please add any details you have to the Github issue.

Markus

--
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/1e21cd31-975e-7211-f3b9-4637ac749bf2%40lemmster.de.