Const-prop-member-designor
Propagate a constant through a c$::member-designor.
- Signature
(const-prop-member-designor memdes env)
→
(mv new-memdes new-env)
- Arguments
- memdes — Guard (member-designorp memdes).
- env — Guard (envp env).
- Returns
- new-memdes — Type (member-designorp new-memdes).
- new-env — Type (envp new-env).
