|
|
|---|
|
|
|
|---|
Fixtype of parameter declarators [C:6.7.6] [C:A.2.2].
This is a tagged union type, introduced by fty::deftagsum.
There is actually no notion of `parameter declarator' in [C], but it is convenient to introduce in our abstract syntax, to factor it better. Our notion of parameter declarator is analogous to the notions of various kinds of declarators in [C], which, when preceded by declaration specifiers, form declarations.
We define a parameter declarator as either a declarator or an abstract declarator or nothing. These are the three possibilities for what can follow the declaration specifiers in a parameter declaration.