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