		Search-engine friendly clone of the ACL2 documentation.

Dimb-initdeclor

Disambiguate an initializer declarator.

Signature
(dimb-initdeclor ideclor kind table) → (mv erp new-ideclor new-table)
Arguments: ideclor — Guard (initdeclorp ideclor).; kind — Guard (dimb-kindp kind).; table — Guard (dimb-tablep table).
Returns: new-ideclor — Type (initdeclorp new-ideclor).; new-table — Type (dimb-tablep new-table).

An initializer declarator is part of a declaration. At the end of the initializer declarator, the declared identifier is added to the disambiguation table, with the appropriate kind, which comes from the preceding declaration specifiers, and is passed to this function.

We pass nil as the fundefp flag to dimb-declor, because an initializer declarator is not the declarator of a defined function.