def bound.ticket

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

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

78def bound.ticket(-A: Data, lower: Q.Ticket<A>, t: Q.Ticket<A>) -> Data:
79  {Q.le(A, lower, t) == True{} : Bool}