Dimb-struct-declor-list
Disambiguate a list of structure declarators.
- Signature
(dimb-struct-declor-list structdeclors table)
→
(mv erp new-structdeclors new-table)
- Arguments
- structdeclors — Guard (struct-declor-listp structdeclors).
- table — Guard (dimb-tablep table).
- Returns
- erp — Type (maybe-msgp erp).
- new-structdeclors — Type (struct-declor-listp new-structdeclors).
- new-table — Type (dimb-tablep new-table).
