		Search-engine friendly clone of the ACL2 documentation.

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: 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.