~/jendhub

def pin.retired

mylsm-lsm-store@0.6.0.1 · src/scan/Snapshot.bend:1289

import mylsm-lsm-store@0.6.0.1/src/scan/Snapshot.bend as Snapshot
import Base

1289def pin.retired(
1290  +retired: List<&2, FileGeneration>,
1291  +target: Nat
1292) -> RetiredPin:
1293  match retired:
1294    case Nil{}: RetiredPinMissing{Nil{}}
1295    case Con{generation, _}:
1296      match generation:
1297        case FileGeneration{+id, _, _}:
1298          pin.retired.loop(retired, target, Nat.is_eq(id, target))

Uses (6)

Used by (1)