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