Operators
Mathematical Operators
| Operator | Operation | Result Type
|
|---|
| Prefix + | Identity | As Operands
|
| Prefix - | Negative | As Operands
|
| + | Addition | As Operands
|
| - | Subtraction | As Operands
|
| * | Multiplication | As Operands
|
| / | Division | As Operands
|
| div | Integer Division | int
|
| mod | Modulo | int
|
| rem | Remainder | int
|
| ** | Exponentiation | As Operands
|
| < | Less Than | boolean
|
| > | Greater Than | boolean
|
| = | Equals | boolean
|
| <= | Less Than or Equal | boolean
|
| >= | Greater Than or Equal | boolean
|
| not= | Not Equal | boolean
|
Boolean Operators
| Operator | Operation | Result Type
|
|---|
| Prefix not | Negation | boolean
|
| and | And | boolean
|
| or | Or | boolean
|
| xor | Exclusive Or | boolean
|
| => | Implication | boolean
|
Set Operators
| Operator | Operation | Result Type
|
|---|
| + | Union | set
|
| - | Set Subtraction | set
|
| * | Intersection | set
|
| = | Equality | boolean
|
| not= | Inequality | boolean
|
| <= | Subset | boolean
|
| < | Strict (Proper) Subset | boolean
|
| >= | Superset | boolean
|
| > | Strict (Proper) Superset | boolean
|
Operators on Members and Sets
| Operator | Operation | Result Type
|
|---|
| in | Member of Set | boolean
|
| not in | Not Member of Set | boolean
|
| xor | Exclusive Or | set
|
Bit Manipulation Operators
| Operator | Operation | Result Type
|
|---|
| shl | Shift left | nat
|
| shr | Shift right | nat
|
| and | Bit-wise And | nat
|
| or | Bit-wise Or | nat
|
| xor | Bit-wise Exclusive Or | nat
|
Pointer Operators
| Operator | Operation | Result Type
|
|---|
| ^ | Follow pointer | Target type
|
Type Cheats
| Operator | Operation | Result Type
|
|---|
| # | Type cheat | nat
|
Operator Short Forms
These can be used in place of the above notation.
| not | | ~
|
| not= | | ~=
|
| not in | | ~in
|
| and | | &
|
| or | | |
|
Operator Precedence
Highest precedence operators first.
- **, ^, #
- prefix + and -
- * , / , div , mod , rem , shl , shr
- + , -, xor
- < , > , = , <= , >= , not= , in , not in
- not
- and
- or
- =>