Const-prop-enumspec
Propagate a constant through a enumspec.
- Signature
(const-prop-enumspec enumspec env) → (mv new-enumspec new-env)
- Arguments
- enumspec — Guard (enumspecp enumspec).
- env — Guard (envp env).
- Returns
- new-enumspec — Type (enumspecp new-enumspec).
- new-env — Type (envp new-env).
