Dimb-init-declor-list
Disambiguate a list of initializer declarators.
- Signature
(dimb-init-declor-list ideclors kind table)
→
(mv erp new-ideclors new-table)
- Arguments
- ideclors — Guard (init-declor-listp ideclors).
- kind — Guard (dimb-kindp kind).
- table — Guard (dimb-tablep table).
- Returns
- erp — Type (maybe-msgp erp).
- new-ideclors — Type (init-declor-listp new-ideclors).
- new-table — Type (dimb-tablep new-table).
We process each one, in order.
The kind is the same for all of them,
obtained from the enclosing declaration,
and passed to this function as input.
