Simpadd0-decl-list
Transform a list of declarations.
- Signature
(simpadd0-decl-list decls gin state) → (mv new-decls gout)
- Arguments
- decls — Guard (decl-listp decls).
- gin — Guard (simpadd0-ginp gin).
- Returns
- new-decls — Type (decl-listp new-decls).
- gout — Type (simpadd0-goutp gout).
