Snapshot.snapshot.close: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/scan/Snapshot.bend as Snapshot
Lines 1166-1178 of mylsm-lsm-store@0.6.0.1/src/scan/Snapshot.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/Snapshot.bend&start_line=1166&end_line=1178

import Base

# Leaves registry accounting untouched while a cursor still references the snapshot.
def snapshot.close(
  lifecycle: Lifecycle,
  registry: Registry,
  released_bytes: Nat
) -> SnapshotCloseDecision:
  match lifecycle:
    case Closed{}: InvalidSnapshotClose{registry}
    case Live{cursor_count}:
      match cursor_count:
        case 0n:
          snapshot.close.registry(registry.release(registry, released_bytes))
        case 1n+rest: SnapshotBusy{registry}

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/Snapshot.bend&name=Lifecycle
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/Snapshot.bend&name=Registry
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/Snapshot.bend&name=SnapshotCloseDecision
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/Snapshot.bend&name=registry.release
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/Snapshot.bend&name=snapshot.close.registry