def dead.old

bend-kit-runner@0.13.0.1 · runner.bend:133

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

133# The ids of the dead tickets abandoned before t.
134def dead.old(-A: Data, ds: List<&2, Dead<A>>, +t: Nat) -> List<&2, Nat>:
135  match ds:
136    case Nil{}:
137      Nil{}
138    case Con{Dead{Q.Ticket{i, d, x}, w, +at}, rest}:
139      dead.old.keep(A, Nat.is_lt(at, t), i, dead.old(A, rest, t))