law select_due

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

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

119law select_due:
120  for ~A: Data
121  for now: Nat
122  for s: Q.State<A>
123  due(A, selected(A, Q.select(~A, now, s)), now)

Uses (11)

Used by (0)

No other definition uses this definition.