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
- 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.
Note that we call dimb-declor with
nil as the fundefp flag,
because if we are disambiguating an optional declarator
we are not disambiguating the declarator of a defined function.