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