def read

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

import bendvy-ecs-core@0.1.0.3/machine_stream_queue.bend as MachineStreamQueue

import Base

141def read(~E: Data,queue: Queue<E>,cursor: Nat) -> List<&2,E>:
142  read_generic(E,queue,cursor)

Uses (4)

Used by (0)

No other definition uses this definition.