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