Ldm-block-item-list
Map a list of block items to
a list of block items in the language definition.
- Signature
(ldm-block-item-list items) → (mv erp items1)
- Arguments
- items — Guard (block-item-listp items).
- Returns
- items1 — Type (c::block-item-listp items1).