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