We will come back to the subject of paths below. Locale L is created if it does not already exist. At this point it will be helpful to introduce a utility-function to view all the definitions in a locale. Now we look at locative names occurring in expressions. In this case, the application of f to n takes place in locale M .
R say cocurrent 'L' R Here is another example.
24.6.4 Applying Adverbs To begin, note that when an adverb is applied, names of verbs do not get evaluated. Here now is an example of an adverb referred to by a locative name. We can build our own structure of search-paths between locales. We will give base a path to stat and then to z , using dyadic copath . With this path in place, we can, while base is current, find names in base , stat and z .