Up Next
Go up to 4.1 Signature Declarations
Go forward to 4.1.2 Datatypes

4.1.1 Sorts

  SORT-ITEM        ::= ... | SUBSORT-DECL | ISO-DECL | SUBSORT-DEFN
  • 4.1.1.1 Subsort Declarations
  • 4.1.1.2 Isomorphism Declarations
  • 4.1.1.3 Subsort Definitions
    • CoFI Document: CASL/Summary --Version 0.99-- 21 April 1998.
    Comments to cofi-language@brics.dk

    Up Next