Simpadd0-dirdeclor
Transform a direct declarator.
- Signature
(simpadd0-dirdeclor dirdeclor gin state)
→
(mv new-dirdeclor gout)
- Arguments
- dirdeclor — Guard (dirdeclorp dirdeclor).
- gin — Guard (simpadd0-ginp gin).
- Returns
- new-dirdeclor — Type (dirdeclorp new-dirdeclor).
- gout — Type (simpadd0-goutp gout).
