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