law enqueue_assigned_id

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

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

255law enqueue_assigned_id:
256  for ~A: Data
257  for d: Nat
258  for x: A
259  for +s: Q.State<A>
260  {assigned(A, Q.enqueue(~A, d, x, s)) == Q.next_id(A, s) : Nat}