Operator Precedence
| Operator | Associativity |
|---|---|
| Binds tighter | |
. -> | left |
is matches | left |
* / % | left |
+ - | left |
<< >> | left |
& | left |
^ | left |
| | left |
!== == != <= < >= > | requires parentheses |
&& | left |
|| | left |
==> | right |
<== | left |
<==> | requires parentheses |
.. | left |
= | right |
closures; forall, exists; choose | right |
&&& | left |
||| | left |
| Binds looser |
All operators that are from ordinary Rust have the same precedence-ordering as in ordinary Rust. See also the Rust operator precedence.