law cancel_requeue

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

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

179law cancel_requeue:
180  for ~A: Data
181  for +i: Nat
182  for d: Nat
183  for s: Q.State<A>
184  {requeued(A, Q.requeue(~A, i, d, Q.cancel(~A, i, s))) == False{} : Bool}