law complete_ordered

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

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

248law complete_ordered:
249  for -A: Data
250  for i: Nat
251  for +s: Q.State<A>
252  for e: ordered(A, Q.pending(A, s))
253  ordered(A, Q.pending(A, state(A, Q.complete(A, i, s))))