Simpadd0-structdecl-list
Transform a list of structure declarations.
- Signature
(simpadd0-structdecl-list structdecls) → new-structdecls
- Arguments
- structdecls — Guard (structdecl-listp structdecls).
- Returns
- new-structdecls — Type (structdecl-listp new-structdecls).