| Type-Expression = ( Type-Expression ) | Adjective-Cluster Radix-Type . | |
| Radix-Type = | |
| Mode-Symbol [ of Term-Expression-List ] | | |
| Structure-Symbol [ over Term-Expression-List ] . | |
| Type-Expression-List = Type-Expression { , Type-Expression } . | |
Last modified: June 26, 2000