Simpadd0-specqual-list
Transform a list of type specifiers and qualifiers.
- Signature
(simpadd0-specqual-list specquals) → new-specquals
- Arguments
- specquals — Guard (specqual-listp specquals).
- Returns
- new-specquals — Type (specqual-listp new-specquals).