Local definitions LOCAL-LIBRARY-ITEMS are proposed in libraries.
The scope of each library item defined in the first list
LIBRARY-ITEM+ is the following items of that list and the second
list LIBRARY-ITEM* only. The scope of each library item defined
in the second list is the following items of that list and the
following library items of the enclosing LIBRARY.
LIBRARY-ITEM ::= ... | LOCAL-LIBRARY-ITEMS
LOCAL-LIBRARY-ITEMS ::= local-library-items LIBRARY-ITEM+ LIBRARY-ITEM*
Discharged:
These are not included.
CoFI
Note: S-1 --Version 1.3-- 25 April 1997.
Comments to cofi-semantics@brics.dk