law cancel_keeps_counter

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

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

262law cancel_keeps_counter:
263  for ~A: Data
264  for i: Nat
265  for +s: Q.State<A>
266  {Q.next_id(A, Q.cancel(~A, i, s)) == Q.next_id(A, s) : Nat}