Simpadd0-decl-spec
Transform a declaration specifier.
- Signature
(simpadd0-decl-spec declspec gin state)
→
(mv new-declspec gout)
- Arguments
- declspec — Guard (decl-specp declspec).
- gin — Guard (simpadd0-ginp gin).
- Returns
- new-declspec — Type (decl-specp new-declspec).
- gout — Type (simpadd0-goutp gout).
