CASL/Summary-v1.0 -- 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-v1.0 -- Version: 1.0 -- 22 October 1998.
Comments to cofi-language@brics.dk