In addition to these operators, parentheses (()) can be used to set
precedence explicitly. All overflow, underflow, range violations, and
type mismatches are errors and will produce a compile error or runtime
exception.
There are no mathematical operators in the policy language. See Math Functions for safe methods to do addition and
subtraction.
Integers can be compared against each other.
Operator Meaning
>A > B is true if A is greater than B<A < B is true if A is less than B>=A >= B is true if A is greater than or equal to B<=A <= B is true if A is less than or equal to B==A == B is true if A is equal to B!=A != B is true if A is not equal to B
Operator Meaning
&&A && B is true if A and B are both true||A || B is true if A or B are true!!A is the logical negation of A
Operator Meaning
.A.B accesses field B in struct AasA as B creates a struct B from the fields of A only if the two struct types have the same fieldssubstructA substruct B creates a struct B from the fields of A only if the fields of struct B are a subset of A
Operator Meaning
unwrapunwrap A is the value inside A if the option is Some, or else stop with a runtime exception check_unwrapSame as unwrap, but stop with a check failure instead of a runtime exception is NoneA is None is true if there is no value inside the optional Ais SomeA is Some is true if there is a value inside the optional A
Using is on a non-optional value will fail with a compile error or
runtime exception.
Priority Op
1 .2 substruct, as3 - (prefix), !, unwrap, check_unwrap4 +, - (infix)5 >, <, >=, <=, is6 ==, !=7 &&, ||