Simpadd0-absdeclor-option
Transform an optional abstract declarator.
- Signature
(simpadd0-absdeclor-option absdeclor?)
→
(mv new-absdeclor? events)
- Arguments
- absdeclor? — Guard (absdeclor-optionp absdeclor?).
- Returns
- new-absdeclor? — Type (absdeclor-optionp new-absdeclor?).
- events — Type (pseudo-event-form-listp events).