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