def le

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

import Base

33def le(-A: Data, a: Ticket<A>, b: Ticket<A>) -> Bool:
34  match a b:
35    case Ticket{i, +d, x} Ticket{j, +e, y}:
36      le.same(Nat.is_eq(d, e), i, j, d, e)