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