def read

bendvy-ecs-core@0.1.0.4 · machine_stream_queue.bend:84

import Base

84def read(~E: Data,queue: Queue<E>,cursor: Nat) -> List<&2,E>:
85  match queue:
86    case Queue{front,back,_,_,_}: read_back(~E,front,back,cursor)