def read_back

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

import Base

138def read_back(~E: Data,+front: List<&2,Batch<E>>,+back: List<&2,Batch<E>>,+cursor: Nat) -> List<&2,E>:
139  read_back_generic(E,front,back,cursor)