Const-prop-decl-spec-list
Propagate a constant through a c$::decl-spec-list.
- Signature
(const-prop-decl-spec-list decl-specs env)
→
(mv new-decl-specs new-env)
- Arguments
- decl-specs — Guard (decl-spec-listp decl-specs).
- env — Guard (envp env).
- Returns
- new-decl-specs — Type (decl-spec-listp new-decl-specs).
- new-env — Type (envp new-env).
