law requeue_keeps_counter

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

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

280law requeue_keeps_counter:
281  for ~A: Data
282  for i: Nat
283  for d: Nat
284  for +s: Q.State<A>
285  {Q.next_id(A, requeue.state(A, Q.requeue(~A, i, d, s))) == Q.next_id(A, s) : Nat}