def selected_absent

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

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

308def selected_absent(-A: Data, +i: Nat, m: Maybe<&2, Q.Ticket<A>>) -> Data:
309  match m:
310    case None{}:
311      Unit
312    case Some{t}:
313      {Nat.is_eq(Q.id(A, t), i) == False{} : Bool}