Dimb-declon-list
Disambiguate a list of declarations.
- Signature
(dimb-declon-list declons table)
→
(mv erp new-declons new-table)
- Arguments
- declons — Guard (declon-listp declons).
- table — Guard (dimb-tablep table).
- Returns
- erp — Type (maybe-msgp erp).
- new-declons — Type (declon-listp new-declons).
- new-table — Type (dimb-tablep new-table).
The disambiguation table is threaded through.
