law cancel_complete

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

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

173law cancel_complete:
174  for ~A: Data
175  for +i: Nat
176  for s: Q.State<A>
177  {selected(A, Q.complete(A, i, Q.cancel(~A, i, s))) == None{} : Maybe<&2, Q.Ticket<A>>}