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