law enqueue_id

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

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

141law enqueue_id:
142  for ~A: Data
143  for d: Nat
144  for x: A
145  for +s: Q.State<A>
146  {Q.next_id(A, enqueued(A, Q.enqueue(~A, d, x, s))) == 1n+Q.next_id(A, s) : Nat}