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