CASL/Summary -- 8.3.1.2 Unit Reductions

Go backward to 8.3.1.1 Unit Translations
Go up to 8.3.1 Unit Terms
Go forward to 8.3.1.3 Amalgamations

  UNIT-REDUCTION   ::= unit-reduction UNIT-TERM RESTRICTION

A unit-reduction is written:

UT R

where the restriction R determines a set of symbols, and possibly a mapping of them.

It allows parts of the unit to be hidden and other parts to be simultaneously renamed.

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