Dimb-const-expr
Disambiguate a constant expression.
- Signature
(dimb-const-expr cexpr table) → (mv erp new-cexpr new-table)
- Arguments
- cexpr — Guard (const-exprp cexpr).
- table — Guard (dimb-tablep table).
- Returns
- new-cexpr — Type (const-exprp new-cexpr).
- new-table — Type (dimb-tablep new-table).