def id

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

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

11def id(-A: Data, t: Ticket<A>) -> Nat:
12  match t:
13    case Ticket{i, d, x}:
14      i

Uses (2)

Used by (14)