Dimb-label
Disambiguate a label.
- Signature
(dimb-label label table) → (mv erp new-label new-table)
- Arguments
- label — Guard (labelp label).
- table — Guard (dimb-tablep table).
- Returns
- new-label — Type (labelp new-label).
- new-table — Type (dimb-tablep new-table).
This may affect the disambiguation table,
for a label that is a constant expression.
