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