law complete_requeue

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

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

186law complete_requeue:
187  for ~A: Data
188  for +i: Nat
189  for d: Nat
190  for s: Q.State<A>
191  {requeued(A, Q.requeue(~A, i, d, state(A, Q.complete(A, i, s)))) == False{} : Bool}