law enqueue_ordered

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

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

214law enqueue_ordered:
215  for ~A: Data
216  for d: Nat
217  for x: A
218  for +s: Q.State<A>
219  for e: ordered(A, Q.pending(A, s))
220  ordered(A, Q.pending(A, enqueued(A, Q.enqueue(~A, d, x, s))))