Go backward to Basic Constructs: Local Declarations and Definitions
Go up to Appendix C: Proposed Changes
Go forward to Library Constructs: Local Definitions

Architectural Constructs: Local Definitions

UNIT-TERM      ::=   ... | LOCAL-UNITS
LOCAL-UNITS    ::=   local-units UNIT-DEFN+ UNIT-TERM
UNIT-DEFN      ::=   unit-defn UNIT-NAME UNIT-TERM
(Alternatively: 
UNIT-DEFN ::= unit-defn UNIT-NAME RESULT-UNIT
if bound units are allowed to depend on additional specified external units.)

Local definitions LOCAL-UNITS are proposed in unit terms. The scope of the names defined in each unit definition in UNIT-DEFN+ is the following unit definitions and the UNIT-TERM only. A UNIT-DEFN defines the UNIT-NAME as an abbreviation for the UNIT-TERM.

CoFI Tentative Document: LanguageSummary --Version 0.95-- March 6, 1997.
Comments to cofi-language@brics.dk