Simpadd0-statassert
Transform an static assertion declaration.
- Signature
(simpadd0-statassert statassert gin state)
→
(mv new-statassert gout)
- Arguments
- statassert — Guard (statassertp statassert).
- gin — Guard (simpadd0-ginp gin).
- Returns
- new-statassert — Type (statassertp new-statassert).
- gout — Type (simpadd0-goutp gout).
