Simpadd0-param-declon-list
Transform a list of parameter declarations.
- Signature
(simpadd0-param-declon-list paramdeclons gin)
→
(mv new-paramdeclons gout)
- Arguments
- paramdeclons — Guard (param-declon-listp paramdeclons).
- gin — Guard (ginp gin).
- Returns
- new-paramdeclons — Type (param-declon-listp new-paramdeclons).
- gout — Type (goutp gout).
We extend the variable-type map
if it was extended by the parameter declarator.
