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