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