Const-prop-dirdeclor
Propagate a constant through a dirdeclor.
- Signature
(const-prop-dirdeclor dirdeclor env)
→
(mv new-dirdeclor new-env)
- Arguments
- dirdeclor — Guard (dirdeclorp dirdeclor).
- env — Guard (envp env).
- Returns
- new-dirdeclor — Type (dirdeclorp new-dirdeclor).
- new-env — Type (envp new-env).
