law select_due
import bend-kit-scheduler@0.4.1.0/queue_laws.bend as QueueLawsimport 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.