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