def absent.ticket

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

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

75def absent.ticket(-A: Data, i: Nat, t: Q.Ticket<A>) -> Data:
76  {Nat.is_eq(Q.id(A, t), i) == False{} : Bool}