Queue.Ticket: type of bend-kit-scheduler@0.4.1.0
Import: import bend-kit-scheduler@0.4.1.0/queue.bend as Queue
Lines 5-6 of bend-kit-scheduler@0.4.1.0/queue.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-scheduler@0.4.1.0/queue.bend&start_line=5&end_line=6

import Base

type Ticket<-A: Data> is Data:
  Ticket{id: Nat, deadline: Nat, payload: A}

Uses (1):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat