law complete_keeps_counter

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

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

268law complete_keeps_counter:
269  for -A: Data
270  for i: Nat
271  for +s: Q.State<A>
272  {Q.next_id(A, state(A, Q.complete(A, i, s))) == Q.next_id(A, s) : Nat}