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).

  • Datatype Declarations
  • Alternatives
  • Components
  • Free Datatype Declarations

  • CoFI Document: CASL/Summary-v1.0 -- Version: 1.0 -- 22 October 1998.
    Comments to

    Prev Up Next