CASL/Summary-v0.97 -- 4.3 Datatype Declarations

Go backward to 4.2 Axioms and Terms
Go up to 4 Subsorting Constructs
Go forward to 4.4 Subsort Definitions

4.3 Datatype Declarations

ALTERNATIVE      ::=  ... | SUBSORT
SUBSORT          ::=  subsort SORT

Each SORT that occurs as a SUBSORT in an ALTERNATIVE is declared to be a subsort of the SORT of the enclosing DATATYPE-DECL. When all the ALTERNATIVEs in a DATATYPE-DECL are SUBSORTs, the SORT of the DATATYPE- DECL is declared to be a supersort of them all, and may be regarded as embedding the union of the SUBSORTs.

CoFI Document: CASL/Summary-v0.97 --Version 0.97-- 20 May 1997.
Comments to cofi-language@brics.dk