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