		Search-engine friendly clone of the ACL2 documentation.

Dimb-absdeclor

Disambiguate an abstract declarator.

Signature
(dimb-absdeclor absdeclor table) → (mv erp new-absdeclor new-table)
Arguments: absdeclor — Guard (absdeclorp absdeclor).; table — Guard (dimb-tablep table).
Returns: erp — Type (maybe-msgp erp).; new-absdeclor — Type (absdeclorp new-absdeclor).; new-table — Type (dimb-tablep new-table).

The disambiguation of an abstract declarator is similar to the one of a declarator, but an abstract declarator does not introduce an identifiers, and so there is no identifier to return here.