Dimb-structdecl-list
Disambiguate a list of structure declarations.
- Signature
(dimb-structdecl-list structdecls table)
→
(mv erp new-structdecls new-table)
- Arguments
- structdecls — Guard (structdecl-listp structdecls).
- table — Guard (dimb-tablep table).
- Returns
- new-structdecls — Type (structdecl-listp new-structdecls).
- new-table — Type (dimb-tablep new-table).