Simpadd0-statassert
Transform an static assertion declaration.
- Signature
(simpadd0-statassert statassert) → (mv new-statassert events)
- Arguments
- statassert — Guard (statassertp statassert).
- Returns
- new-statassert — Type (statassertp new-statassert).
- events — Type (pseudo-event-form-listp events).
