Simpadd0-paramdeclor
Transform a parameter declarator.
- Signature
(simpadd0-paramdeclor paramdeclor)
→
(mv new-paramdeclor events-paramdecls)
- Arguments
- paramdeclor — Guard (paramdeclorp paramdeclor).
- Returns
- new-paramdeclor — Type (paramdeclorp new-paramdeclor).
- events-paramdecls — Type (pseudo-event-form-listp events-paramdecls).
