CASL/Summary -- 4.1.1.2 Isomorphism Declarations

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:

S₁=...=S_n

It declares all the sorts S₁, ..., S_n, as well as their embeddings as subsorts of each other. Thus the carriers for the sorts S_i are required to be isomorphic. The S_i must be distinct.

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