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