Dimb-dirabsdeclor
Disambiguate a direct abstract declarator.
- Signature
(dimb-dirabsdeclor dirabsdeclor table)
→
(mv erp new-dirabsdeclor new-table)
- Arguments
- dirabsdeclor — Guard (dirabsdeclorp dirabsdeclor).
- table — Guard (dimb-tablep table).
- Returns
- erp — Type (maybe-msgp erp).
- new-dirabsdeclor — Type (dirabsdeclorp new-dirabsdeclor).
- new-table — Type (dimb-tablep new-table).
The handling is similar to dimb-dirdeclor,
but no identifier is returned.
There is also no handling of possible function parameter names.
