Up Next
Go up to 8.3.1 Unit Terms
Go forward to Unit Reductions Unit Translations

      UNIT-TRANSLATION ::= unit-translation UNIT-TERM RENAMING

A unit translation is written:

where the renaming R determines a mapping of symbols.

It allows some of the unit symbols to be renamed. [CHANGED:] Any symbols that happen to be shared by the renaming must be checked to originate from shared symbols in some unit. []

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

Up Next