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