Closed ahelwer closed 7 months ago
Turns out the values in documentation are not the same as in SANY, which serves as the source of truth; ref https://github.com/tlaplus/tlaplus/issues/892
Turns out the values in documentation are not the same as in SANY, which serves as the source of truth; ref https://github.com/tlaplus/tlaplus/issues/892