Up
Go up to 2.1.1 Sorts

2.1.1.1 Sort Declarations

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

A sort declaration SORT-DECL is written: [CHANGED:]

s1,...,sn
[] It declares each of the sorts in the list s1, ..., sn.  [DELETED]
CoFI Document: CASL/Summary-v1.0 -- Version: 1.0 -- 22 October 1998.
Comments to cofi-language@brics.dk

Up