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