def le_flip

bend-kit-scheduler@0.4.1.0 · queue_proof.bend:92

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

92def le_flip(-A: Data, a: Q.Ticket<A>, b: Q.Ticket<A>, e: {Q.le(A, a, b) == False{} : Bool}) -> {Q.le(A, b, a) == True{} : Bool}:
93  match a b:
94    case Q.Ticket{i, d, x} Q.Ticket{j, f, y}:
95      key_flip(d, f, i, j, e)