def deadline

bend-kit-scheduler@0.4.1.0 · queue.bend:16

import Base

16def deadline(-A: Data, t: Ticket<A>) -> Nat:
17  match t:
18    case Ticket{i, d, x}:
19      d