Snapshot.cursor.release: 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 1186-1193 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=1186&end_line=1193

import Base

# Releases one cursor reference, rejecting underflow and closed snapshots.
def cursor.release(lifecycle: Lifecycle) -> LifecycleDecision:
  match lifecycle:
    case Live{cursor_count}:
      match cursor_count:
        case 0n: Invalid{}
        case 1n+rest: Advanced{Live{rest}}
    case Closed{}: Invalid{}

Uses (3):
  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=LifecycleDecision