Const-prop-initdeclor-list
Propagate a constant through a c$::initdeclor-list.
- Signature
(const-prop-initdeclor-list initdeclors env)
→
(mv new-initdeclors idents new-env)
- Arguments
- initdeclors — Guard (initdeclor-listp initdeclors).
- env — Guard (envp env).
- Returns
- new-initdeclors — Type (initdeclor-listp new-initdeclors).
- idents — Type (env-blockp idents).
- new-env — Type (envp new-env).
