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

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: LanguageSummary --DRAFT, Version 0.96-- 30 April 1997.
Comments to cofi-language@brics.dk