def due

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

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

101def due(-A: Data, t: Maybe<&2, Q.Ticket<A>>, now: Nat) -> Data:
102  match t:
103    case None{}:
104      Unit
105    case Some{t}:
106      {Nat.is_le(Q.deadline(A, t), now) == True{} : Bool}