Simpadd0-enumspec
Transform an enumeration specifier.
- Signature
(simpadd0-enumspec enumspec) → (mv new-enumspec events)
- Arguments
- enumspec — Guard (enumspecp enumspec).
- Returns
- new-enumspec — Type (enumspecp new-enumspec).
- events — Type (pseudo-event-form-listp events).
