CASL/Summary-v1.0 -- 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: [CHANGED:]

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 SORTS

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

CoFI Document: CASL/Summary-v1.0 -- Version: 1.0 -- 22 October 1998.
Comments to cofi-language@brics.dk