2.1.2 Operations

      OP-ITEMS ::= op-items OP-ITEM+
      OP-ITEM  ::= OP-DECL | OP-DEFN

A list OP-ITEMS of operation declarations and definitions is written:

ops OI₁; ... OI_n;