| Structure-Definition = | ||
| struct [ ( Ancestors ) ] Structure-Symbol [ over Loci ] | ||
| (# Fields #) ; . | ||
| Ancestors = Type-Expression { , Type-Expression } . | ||
| Structure-Symbol = Symbol . | ||
| Loci = Locus { , Locus } . | ||
| Fields = Field-Segment { , Field-Segment } . | ||
| Locus = Variable-Identifier . | ||
| Variable-Identifier = Identifier . | ||
| Field-Segment = Selector-Symbol { , Selector-Symbol } Specification . | ||
| Selector-Symbol = Symbol . | ||
| Specification = -> Type-Expression . | ||
Last modified: June 26, 2000