Prev Up Next
Go backward to 2.1.1 Sorts
Go up to 2.1 Signature Declarations
Go forward to 2.1.3 Predicates

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 OI1; ... OIn;
  • 2.1.2.1 Operation Declarations
  • Operation Types
  • Operation Attributes
  • 2.1.2.2 Operation Definitions

  • CoFI Document: CASL/Summary --Version 0.99-- 21 April 1998.
    Comments to cofi-language@brics.dk

    Prev Up Next