Const-prop-param-declon
Propagate a constant through a param-declon.
- Signature
(const-prop-param-declon paramdecl env)
→
(mv new-paramdecl new-env)
- Arguments
- paramdecl — Guard (param-declonp paramdecl).
- env — Guard (envp env).
- Returns
- new-paramdecl — Type (param-declonp new-paramdecl).
- new-env — Type (envp new-env).
