law select_minimum

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

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

125law select_minimum:
126  for ~A: Data
127  for now: Nat
128  for +s: Q.State<A>
129  for e: ordered(A, Q.pending(A, s))
130  minimum(A, Q.pending(A, s), selected(A, Q.select(~A, now, s)))