def read_loop

bendvy-ecs-core@0.1.0.3 · machine_stream_queue.bend:135

import Base

135def read_loop(~E: Data,batches: List<&2,Batch<E>>,+cursor: Nat,acc: List<&2,E>) -> List<&2,E>:
136  read_loop_generic(E,batches,cursor,acc)