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