CASL/Summary -- 2.1.3 Predicates

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

  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 PI₁; ... PI_n;

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