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