Dimb-spec/qual
Disambiguate a specifier or qualifier.
- Signature
(dimb-spec/qual specqual table)
→
(mv erp new-specqual new-table)
- Arguments
- specqual — Guard (spec/qual-p specqual).
- table — Guard (dimb-tablep table).
- Returns
- new-specqual — Type (spec/qual-p new-specqual).
- new-table — Type (dimb-tablep new-table).
Type qualifiers are left unchanged.
Type specifiers may extend the disambiguation table.