Simpadd0-paramdecl-list
Transform a list of parameter declarations.
- Signature
(simpadd0-paramdecl-list paramdecls) → new-paramdecls
- Arguments
- paramdecls — Guard (paramdecl-listp paramdecls).
- Returns
- new-paramdecls — Type (paramdecl-listp new-paramdecls).