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