Dimb-declon
Disambiguate a declaration.
- Signature
(dimb-declon declon table) → (mv erp new-declon new-table)
- Arguments
- declon — Guard (declonp declon).
- table — Guard (dimb-tablep table).
- Returns
- erp — Type (maybe-msgp erp).
- new-declon — Type (declonp new-declon).
- 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.
