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