Simpadd0-struct-declor-list
Transform a list of structure declarators.
- Signature
(simpadd0-struct-declor-list structdeclors gin)
→
(mv new-structdeclors gout)
- Arguments
- structdeclors — Guard (struct-declor-listp structdeclors).
- gin — Guard (ginp gin).
- Returns
- new-structdeclors — Type (struct-declor-listp new-structdeclors).
- gout — Type (goutp gout).
