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*
CoFI Tentative Document: LanguageSummary --Version 0.95-- March 6, 1997.
Comments to cofi-language@brics.dk