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