Dimb-decl
Disambiguate a declaration.
- Signature
(dimb-decl decl table) → (mv erp new-decl new-table)
- Arguments
- decl — Guard (declp decl).
- table — Guard (dimb-tablep table).
- Returns
- erp — Type (maybe-msgp erp).
- new-decl — Type (declp new-decl).
- new-table — Type (dimb-tablep new-table).
First we process the declaration specifiers,
which, as explained in dimb-decl-spec,
determine whether the (one or more) identifiers
introduced by the declarators
denote typedef names or objects/functions.
We pass the returned kind to the code that disambiguates
the initializer declarators.