~/jendhub

def release.retired

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

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

1403def release.retired(
1404  +retired: List<&2, FileGeneration>,
1405  +target: Nat
1406) -> RetiredRelease:
1407  match retired:
1408    case Nil{}: RetiredMissing{Nil{}}
1409    case Con{generation, _}:
1410      match generation:
1411        case FileGeneration{+id, _, _}:
1412          release.retired.loop(retired, target, Nat.is_eq(id, target))

Uses (6)

Used by (1)