Next: Store refs, Previous: BML primary expressions, Up: Predicates and Specification Expressions
BML supports the same operators as JML:
Their syntax and semantics is defined in Section 11.6 of JML Reference Manual.