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