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