law cancel_pending_absent

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

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

148law cancel_pending_absent:
149  for ~A: Data
150  for i: Nat
151  for s: Q.State<A>
152  absent.heap(A, Q.pending(A, Q.cancel(~A, i, s)), i)