Dimb-statassert
Disambiguate a static assertion declaration.
- Signature
(dimb-statassert statassert table)
→
(mv erp new-statassert new-table)
- Arguments
- statassert — Guard (statassertp statassert).
- table — Guard (dimb-tablep table).
- Returns
- new-statassert — Type (statassertp new-statassert).
- new-table — Type (dimb-tablep new-table).
