2.1.1 Sorts

  SORT-ITEMS       ::= sort-items SORT-ITEM+
  SORT-ITEM        ::= SORT-DECL

A list SORT-ITEMS of sort declarations is written:

sorts SI₁; ... SI_n;

2.1.1.1 Sort Declarations

---

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