"Fossies" - the Fresh Open Source Software Archive

Member "gentle-97/html/lrmroot.html" (20 Aug 1998, 822 Bytes) of package /linux/misc/old/gentle-97.tar.gz:


Caution: In this restricted "Fossies" environment the current HTML page may not be correctly presentated and may have some non-functional links. You can here alternatively try to browse the pure source code or just view or download the uninterpreted raw source code. If the rendering is insufficient you may try to find and view the page on the gentle-97.tar.gz project site itself.



HANDBOOK / LANGUAGE REFERENCE MANUAL /

Root Definition

RootDef = "'root'" {Member} .

A root definition has the form

The elaboration of a specification is the elaboration of the members M1, ..., Mn.