Const-prop-block-item
Propagate a constant through a c$::block-item.
- Signature
(const-prop-block-item item env) → (mv new-item new-env)
- Arguments
- item — Guard (block-itemp item).
- env — Guard (envp env).
- Returns
- new-item — Type (block-itemp new-item).
- new-env — Type (envp new-env).
