Const-prop-param-declor
Propagate a constant through a c$::param-declor.
- Signature
(const-prop-param-declor paramdeclor env)
→
(mv new-paramdeclor new-env)
- Arguments
- paramdeclor — Guard (param-declorp paramdeclor).
- env — Guard (envp env).
- Returns
- new-paramdeclor — Type (param-declorp new-paramdeclor).
- new-env — Type (envp new-env).
