law select_keeps_counter

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

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

274law select_keeps_counter:
275  for ~A: Data
276  for now: Nat
277  for +s: Q.State<A>
278  {Q.next_id(A, state(A, Q.select(~A, now, s))) == Q.next_id(A, s) : Nat}