law requeue_ordered

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

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

240law requeue_ordered:
241  for ~A: Data
242  for +i: Nat
243  for d: Nat
244  for +s: Q.State<A>
245  for e: ordered(A, Q.pending(A, s))
246  ordered(A, Q.pending(A, requeue.state(A, Q.requeue(~A, i, d, s))))