law cancel_ordered

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

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

229law cancel_ordered:
230  for ~A: Data
231  for i: Nat
232  for +s: Q.State<A>
233  for e: ordered(A, Q.pending(A, s))
234  ordered(A, Q.pending(A, Q.cancel(~A, i, s)))