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