Prev Up Next
Go backward to 2.1.2 Operations
Go up to 2.1 Signature Declarations
Go forward to 2.1.4 Datatypes

2.1.3 Predicates

  PRED-ITEMS       ::= pred-items PRED-ITEM+
  PRED-ITEM        ::= PRED-DECL | PRED-DEFN
  PRED-NAME        ::= ID

A list PRED-ITEMS of predicate declarations and definitions is written:

preds PI1; ... PIn;
  • 2.1.3.1 Predicate Declarations
  • Predicate Types
  • 2.1.3.2 Predicate Definitions

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

    Prev Up Next