Dimb-block-item
Disambiguate a block item.
- Signature
(dimb-block-item item table) → (mv erp new-item new-table)
- Arguments
- item — Guard (block-itemp item).
- table — Guard (dimb-tablep table).
- Returns
- new-item — Type (block-itemp new-item).
- new-table — Type (dimb-tablep new-table).
An ambiguous declaration or (expression) statement
is disambiguated and re-classified.