Up Next
Go up to 2.1.3 Predicates
Go forward to 2.1.3.2 Predicate Definitions

2.1.3.1 Predicate Declarations

  PRED-DECL        ::= pred-decl PRED-NAME+ PRED-TYPE

A predicate declaration PRED-DECL is written:

PN1, ..., PNn : T
It declares each predicate name PN1, ..., PNn as a predicate, with profile as specified by the predicate type T.
Predicate Types
  PRED-TYPE        ::= pred-type SORTS

A predicate type PRED-TYPE with some argument sorts is written:

S1 × ... × Sn
The sign displayed as ` × ' may be input as `×' in ISO Latin-1, or as `*' in ASCII. When the list of argument sorts is empty, the type is written `()'.

The operation profile determined by the type has argument sorts S1, ..., Sn.

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

Up Next