Dimb-spec/qual-list
Disambiguate a list of specifiers and qualifiers.
- Signature
(dimb-spec/qual-list specquals table)
→
(mv erp new-specquals new-table)
- Arguments
- specquals — Guard (spec/qual-listp specquals).
- table — Guard (dimb-tablep table).
- Returns
- erp — Type (maybe-msgp erp).
- new-specquals — Type (spec/qual-listp new-specquals).
- new-table — Type (dimb-tablep new-table).
We process them in order, threading through the table,
which may be updated by each.
