Dimb-designor-list
Disambiguate a list of designators.
- Signature
(dimb-designor-list designs table)
→
(mv erp new-designs new-table)
- Arguments
- designs — Guard (designor-listp designs).
- table — Guard (dimb-tablep table).
- Returns
- new-designs — Type (designor-listp new-designs).
- new-table — Type (dimb-tablep new-table).