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:

 PN_1, ...,  PN_n :  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:

  S_1 × ... ×  S_n
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-v0.99-draft --DRAFT Version 0.99-- 25 March 1998.
Comments to cofi-language@brics.dk

Up Next