| | | A.2.2 Atomic Formulas |
E1 = E2
E1 /= E2
E1 < E2
E1 <= E2
E1 > E2
E1 >= E2
These expressions represent the comparison operations equality, inequality, less-than, less-than-or-equal, greater-than, and greater-than-or-equal. The expressions are composed from two values E1 and E2. In the case of equality and inequality, the types of both values may be arbitrary but must be equal. In the case of the other operations, the types of the values may be (potentially different) numeric types (NAT, INT, REAL, a range type, or a subtype of a numeric type). The result type of the expression is BOOLEAN.
| | | A.2.2 Atomic Formulas |