Dimb-member-designor
Disambiguate a member designator.
- Signature
(dimb-member-designor memdes table)
→
(mv erp new-memdes new-table)
- Arguments
- memdes — Guard (member-designorp memdes).
- table — Guard (dimb-tablep table).
- Returns
- erp — Type (maybe-msgp erp).
- new-memdes — Type (member-designorp new-memdes).
- new-table — Type (dimb-tablep new-table).
