CASL/Summary -- 2.1.1.1 Sort Declarations

2.1.1.1 Sort Declarations

  SORT-DECL        ::= sort-decl SORT+
  SORT             ::= TOKEN-ID

A sort declaration SORT-DECL is written:

S₁,...,S_n

It declares each of the sorts in the list S₁, ..., S_n. The single declaration of several sorts `sorts S₁,...,S_n;' is equivalent to the sequence of declarations of single sorts `sorts S₁; ...; S_n;'.

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