Simpadd0-paramdecl
Transform a parameter declaration.
- Signature
(simpadd0-paramdecl paramdecl) → (mv new-paramdecl events)
- Arguments
- paramdecl — Guard (paramdeclp paramdecl).
- Returns
- new-paramdecl — Type (paramdeclp new-paramdecl).
- events — Type (pseudo-event-form-listp events).
