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