law select_ordered

bend-kit-scheduler@0.4.1.0 · queue_laws.bend:222

import Base
import bend-kit-scheduler@0.4.1.0/queue.bend as Q

222law select_ordered:
223  for ~A: Data
224  for now: Nat
225  for +s: Q.State<A>
226  for e: ordered(A, Q.pending(A, s))
227  ordered(A, Q.pending(A, state(A, Q.select(~A, now, s))))