Prev Up Next
Go backward to 4.1.1.1 Subsort Declarations
Go up to 4.1.1 Sorts
Go forward to 4.1.1.3 Subsort Definitions

4.1.1.2 Isomorphism Declarations

      ISO-DECL ::= iso-decl SORT+

An isomorphism declaration ISO-DECL is written:

s1=...=sn

It declares all the sorts s1, ..., sn, as well as their embeddings as subsorts of each other. Thus the carriers for the sorts si are required to be isomorphic. The si must be distinct.


CoFI Document: CASL/Summary-v1.0 -- Version: 1.0 -- 22 October 1998.
Comments to cofi-language@brics.dk

Prev Up Next