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