Const-prop-const-expr
Propagate a constant through a const-expr.
- Signature
(const-prop-const-expr cexpr env) → (mv new-cexpr new-env)
- Arguments
- cexpr — Guard (const-exprp cexpr).
- env — Guard (envp env).
- Returns
- new-cexpr — Type (const-exprp new-cexpr).
- new-env — Type (envp new-env).
