Dimb-enumer-list
Disambiguate a list of enumerators.
- Signature
(dimb-enumer-list enumers table)
→
(mv erp new-enumers new-table)
- Arguments
- enumers — Guard (enumer-listp enumers).
- table — Guard (dimb-tablep table).
- Returns
- new-enumers — Type (enumer-listp new-enumers).
- new-table — Type (dimb-tablep new-table).
Each enumerator updates the disambiguation table,
which we thread through.