~/jendhub

def dead.purge

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

import bend-kit-runner@0.13.0.1/runner.bend as Runner
import Base

148# The dead tickets without those abandoned before t. It walks every dead ticket once.
149def dead.purge(~A: Data, +ds: Graves(A), +t: Nat) -> Graves(A):
150  dead.drops(~A, dead.old(A, dead.list(A, ds), t), ds)

Uses (5)

Used by (1)