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