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