[NEXT] [PREV]    HANDBOOK / LANGUAGE REFERENCE MANUAL /

Root Definition
Gentle
Applications
Concepts
Examples
Handbook
Support
Download

RootDef = "'root'" {Member} .

A root definition has the form

  • 'root' M1 ... Mn

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





[NEXT] [PREV]