Const-prop-expr
Propogate a constant through an impure c$::expr.
- Signature
(const-prop-expr expr env) → (mv new-expr value? new-env)
- Arguments
- expr — Guard (exprp expr).
- env — Guard (envp env).
- Returns
- new-expr — Type (exprp new-expr).
- value? — Type (c::value-optionp value?).
- new-env — Type (envp new-env).
