Const-prop-enumer-list
Propagate a constant through a c$::enumer-list.
- Signature
(const-prop-enumer-list enumers env)
→
(mv new-enumers new-env)
- Arguments
- enumers — Guard (enumer-listp enumers).
- env — Guard (envp env).
- Returns
- new-enumers — Type (enumer-listp new-enumers).
- new-env — Type (envp new-env).
