Prev Up Next
Go backward to 2.1.3 Predicates
Go up to 2.1 Signature Declarations
Go forward to 2.1.5 Sort Generation

2.1.4 Datatypes

  DATATYPE-ITEMS   ::= datatype-items DATATYPE-DECL+

A list DATATYPE-ITEMS of datatype declarations is written:

types DD1; ... DDn;

The order of the datatype declarations is not significant: there is non-linear visibility of the declared sorts in a list (in contrast to the linear visibility between the BASIC-ITEMS of a BASIC-SPEC, and between the SIG-ITEMS of a SORT-GEN).

  • 2.1.4.1 Datatype Declarations
  • Alternatives
  • Components
  • 2.1.4.2 Free Datatype Declarations

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

    Prev Up Next