MachineStreamQueue.read_back: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/machine_stream_queue.bend as MachineStreamQueue
Lines 138-139 of bendvy-ecs-core@0.1.0.3/machine_stream_queue.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/machine_stream_queue.bend&start_line=138&end_line=139

import Base

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

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/machine_stream_queue.bend&name=Batch
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/machine_stream_queue.bend&name=read_back_generic