law complete_one_shot

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

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

167law complete_one_shot:
168  for -A: Data
169  for +i: Nat
170  for s: Q.State<A>
171  {selected(A, Q.complete(A, i, state(A, Q.complete(A, i, s)))) == None{} : Maybe<&2, Q.Ticket<A>>}