def take_equivalent.step

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

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

15def take_equivalent.step(-A: Data, b: Bool, t: Q.Ticket<A>, rest: List<&2, Q.Ticket<A>>, found: Maybe<&2, Q.Ticket<A>>) -> {Q.take.keep(A, b, t, Q.Taken{rest, found}) == Q.Taken{Q.remove.list.keep(A, b, t, rest), Q.find.list.choose(A, b, t, found)} : Q.Taken<A>}:
16  match b:
17    case True{}:
18      {==}
19    case False{}:
20      {==}