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