Simpadd0-decl-spec-list
Transform a list of declaration specifiers.
- Signature
(simpadd0-decl-spec-list declspecs gin)
→
(mv new-declspecs gout)
- Arguments
- declspecs — Guard (decl-spec-listp declspecs).
- gin — Guard (ginp gin).
- Returns
- new-declspecs — Type (decl-spec-listp new-declspecs).
- gout — Type (goutp gout).
