 | 1.3 Prefix + and - |
| 1 Changes to RSL |
| 1.5 Finite maps |
|
|
| ||||||
| 1.4 == symbol | ||||||||
The infix operator == is included, with the same precedence as =. Semantically this symbol is undefined, and it has no predefined type. It is intended to be used to define abstract equalities, but you can define it in any way you want to.
| 1.4 == symbol | ||||||||
|
|
| ||||||