CASL/Summary -- 2.1.3.1 Predicate Declarations

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:

p₁, ..., p_n : T

It declares each predicate name p₁, ..., p_n as a predicate, with profile as specified by the predicate type T.

Predicate Types

      PRED-TYPE ::= pred-type SORT-LIST

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

s₁×...×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 predicate profile determined by the type has argument sorts s₁, ..., s_n.

CoFI Document: CASL/Summary -- Version: 1.0 -- 22 July 1999.
Comments to cofi-language@brics.dk