Const-prop-init-declor
Propagate a constant through a init-declor.
- Signature
(const-prop-init-declor initdeclor env)
→
(mv new-initdeclor ident value? new-env)
- Arguments
- initdeclor — Guard (init-declorp initdeclor).
- env — Guard (envp env).
- Returns
- new-initdeclor — Type (init-declorp new-initdeclor).
- ident — Type (identp ident).
- value? — Type (c::value-optionp value?).
- new-env — Type (envp new-env).
