Dimb-paramdecl-list
Disambiguate a list of parameter declarations.
- Signature
(dimb-paramdecl-list paramdecls table)
→
(mv erp new-paramdecls new-table)
- Arguments
- paramdecls — Guard (paramdecl-listp paramdecls).
- table — Guard (dimb-tablep table).
- Returns
- new-paramdecls — Type (paramdecl-listp new-paramdecls).
- new-table — Type (dimb-tablep new-table).
We process each one, threading through the table.