Dimb-dirabsdeclor-option
Disambiguate an optional direct abstract declarator.
- Signature
(dimb-dirabsdeclor-option dirabsdeclor? table)
→
(mv erp new-dirabsdeclor? new-table)
- Arguments
- dirabsdeclor? — Guard (dirabsdeclor-optionp dirabsdeclor?).
- table — Guard (dimb-tablep table).
- Returns
- new-dirabsdeclor? — Type (dirabsdeclor-optionp new-dirabsdeclor?).
- new-table — Type (dimb-tablep new-table).