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.