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