Section, Pattern: Choice (Alternatives)
This grammar line:
type: 'float' | 'int' | 'void' ; // user-defined types
A user defined type could maybe described by a set of keywords
supporting the definition of a type.
Say roughly in java keywords class, implements, extends.
Upfront sorry if I missed an explication though…