Exec-block-item-list
Execute a list of block items.
- Signature
(exec-block-item-list items compst fenv limit)
→
(mv result new-compst)
- Arguments
- items — Guard (block-item-listp items).
- compst — Guard (compustatep compst).
- fenv — Guard (fun-envp fenv).
- limit — Guard (natp limit).
- Returns
- result — Type (value-option-resultp result).
- new-compst — Type (compustatep new-compst).
We thread the computation state through the block items.