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