CASL/Summary-v1.0 -- 8.3.1.3 Amalgamations

Go backward to 8.3.1.2 Unit Reductions
Go up to 8.3.1 Unit Terms
Go forward to 8.3.1.4 Local Units

      AMALGAMATION ::= amalgamation UNIT-TERM+

An amalgamation is written:

UT₁ and...and UT_n

It produces a unit that consists of the components of all the amalgamated units put together. Compatibility of the unit terms must be ensured.

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