Up Next
Go up to 2.1 Signature Declarations
Go forward to 2.1.2 Operations

2.1.1 Sorts

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

A list SORT-ITEMS of sort declarations is written:

sorts  SI1; ...  SIn;
  • 2.1.1.1 Sort Declarations
    • CoFI Document: CASL/Summary-v0.99-draft --DRAFT Version 0.99-- 25 March 1998.
    Comments to cofi-language@brics.dk

    Up Next