Const-prop-struct-declor
Propagate a constant through a struct-declor.
- Signature
(const-prop-struct-declor structdeclor env)
→
(mv new-structdeclor new-env)
- Arguments
- structdeclor — Guard (struct-declorp structdeclor).
- env — Guard (envp env).
- Returns
- new-structdeclor — Type (struct-declorp new-structdeclor).
- new-env — Type (envp new-env).
