Dimb-declor-option
Disambiguate an optional declarator.
- Signature
(dimb-declor-option declor? table)
→
(mv erp new-declor? ident? new-table)
- Arguments
- declor? — Guard (declor-optionp declor?).
- table — Guard (dimb-tablep table).
- Returns
- erp — Type (maybe-msgp erp).
- new-declor? — Type (declor-optionp new-declor?).
- ident? — Type (ident-optionp ident?).
- new-table — Type (dimb-tablep new-table).
As with similar disambiguation functions,
this lifts dimb-declor to optional declarators.
Since the declarator may be absent,
we also generalize the returned identifier to be an optional one.
This function does not take a fundefp flag
because optional declarators are not used in function parameters.
