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