Dimb-enumer
Disambiguate an enumerator.
- Signature
(dimb-enumer enumer table) → (mv erp new-enumer new-table)
- Arguments
- enumer — Guard (enumerp enumer).
- table — Guard (dimb-tablep table).
- Returns
- erp — Type (maybe-msgp erp).
- new-enumer — Type (enumerp new-enumer).
- new-table — Type (dimb-tablep new-table).
We disambiguate the constant expression, if present.
We also add the name to the disambiguation table.