Lift isodata-process-arg/res-list-iso to lists.
(isodata-process-arg/res-list-iso-list arg/res-list-iso-list k old$ verify-guards$ arg-isomaps res-isomaps names-to-avoid ctx state) → (mv erp result state)
Function:
(defun isodata-process-arg/res-list-iso-list (arg/res-list-iso-list k old$ verify-guards$ arg-isomaps res-isomaps names-to-avoid ctx state) (declare (xargs :stobjs (state))) (declare (xargs :guard (and (posp k) (symbolp old$) (booleanp verify-guards$) (isodata-symbol-isomap-alistp arg-isomaps) (isodata-pos-isomap-alistp res-isomaps) (symbol-listp names-to-avoid)))) (let ((__function__ 'isodata-process-arg/res-list-iso-list)) (declare (ignorable __function__)) (b* (((when (endp arg/res-list-iso-list)) (value (list arg-isomaps res-isomaps names-to-avoid))) ((er (list arg-isomaps res-isomaps names-to-avoid)) (isodata-process-arg/res-list-iso (car arg/res-list-iso-list) k old$ verify-guards$ arg-isomaps res-isomaps names-to-avoid ctx state))) (isodata-process-arg/res-list-iso-list (cdr arg/res-list-iso-list) (1+ k) old$ verify-guards$ arg-isomaps res-isomaps names-to-avoid ctx state))))