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