Dimb-block-item-list
Disambiguate a list of block items.
- Signature
(dimb-block-item-list items table)
→
(mv erp new-items new-table)
- Arguments
- items — Guard (block-item-listp items).
- table — Guard (dimb-tablep table).
- Returns
- new-items — Type (block-item-listp new-items).
- new-table — Type (dimb-tablep new-table).