A.4.25 Mapping overview
A.4.25.2 Rule 2: How names of operations are formed
The rule foroperation package mapping is simpler: all symbols that correspond to Lisp functions that correspond to IDL operations are interned in a single package. This package can be denoted by "OP". Thus,op:foo denotes the operation namedfoo.