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