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