| Definitional-Item = Definitional-Block ; . | ||
| Definitional-Block = | ||
| definition | ||
| { Definition-Item | Definition } | ||
| [ redefine | ||
| { Definition-Item | Definition } ] | ||
| end . | ||
| Definition-Item = Loci-Declaration | Permissive-Assumption | Auxiliary-Item . | ||
| Loci-Declaration = let Qualified-Variables [ such Conditions ] ; . | ||
| Permissive-Assumption = Assumption . | ||
| Definition = | ||
| Structure-Definition | | ||
| Mode-Definition | | ||
| Functor-Definition | | ||
| Predicate-Definition | | ||
| Attribute-Definition | | ||
| Canceled-Definition | | ||
| Cluster-Registration . | ||
Last modified: June 26, 2000