Dimb-struni-spec
Disambiguate a structure or union specifier.
- Signature
(dimb-struni-spec struni-spec table)
→
(mv erp new-struni-spec new-table)
- Arguments
- struni-spec — Guard (struni-specp struni-spec).
- table — Guard (dimb-tablep table).
- Returns
- erp — Type (maybe-msgp erp).
- new-struni-spec — Type (struni-specp new-struni-spec).
- new-table — Type (dimb-tablep new-table).
The disambiguation table is unaffected as we go through the members;
the table has no information about structure and union members.
