Dimb-expr-list
Disambiguate a list of expressions.
- Signature
(dimb-expr-list exprs table) → (mv erp new-exprs new-table)
- Arguments
- exprs — Guard (expr-listp exprs).
- table — Guard (dimb-tablep table).
- Returns
- new-exprs — Type (expr-listp new-exprs).
- new-table — Type (dimb-tablep new-table).