Simpadd0-absdeclor-option
Transform an optional abstract declarator.
- Signature
(simpadd0-absdeclor-option absdeclor? gin state)
→
(mv new-absdeclor? gout)
- Arguments
- absdeclor? — Guard (absdeclor-optionp absdeclor?).
- gin — Guard (simpadd0-ginp gin).
- Returns
- new-absdeclor? — Type (absdeclor-optionp new-absdeclor?).
- gout — Type (simpadd0-goutp gout).
