Simpadd0-struct-declon
Transform a structure declaration.
- Signature
(simpadd0-struct-declon structdeclon gin)
→
(mv new-structdeclon gout)
- Arguments
- structdeclon — Guard (struct-declonp structdeclon).
- gin — Guard (ginp gin).
- Returns
- new-structdeclon — Type (struct-declonp new-structdeclon).
- gout — Type (goutp gout).
