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.