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