def next_id
import bend-kit-scheduler@0.4.1.0/queue.bend as Queueimport Base
161# Non-consuming observations used by adapters and laws.
162def next_id(-A: Data, s: State<A>) -> Nat:
163 match s:
164 case State{n, h, r}:
165 n
import bend-kit-scheduler@0.4.1.0/queue.bend as Queueimport Base
161# Non-consuming observations used by adapters and laws.
162def next_id(-A: Data, s: State<A>) -> Nat:
163 match s:
164 case State{n, h, r}:
165 n