Dimb-tyname
Disambiguate a type name.
- Signature
(dimb-tyname tyname table) → (mv erp new-tyname new-table)
- Arguments
- tyname — Guard (tynamep tyname).
- table — Guard (dimb-tablep table).
- Returns
- new-tyname — Type (tynamep new-tyname).
- new-table — Type (dimb-tablep new-table).
