CASL/Summary -- 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 --Version 0.99-- 21 April 1998.
Comments to cofi-language@brics.dk