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.