Simpadd0-enumspec
Transform an enumeration specifier.
- Signature
(simpadd0-enumspec enumspec gin state)
→
(mv new-enumspec gout)
- Arguments
- enumspec — Guard (enumspecp enumspec).
- gin — Guard (simpadd0-ginp gin).
- Returns
- new-enumspec — Type (enumspecp new-enumspec).
- gout — Type (simpadd0-goutp gout).
