Snapshot.owner.cursor.open.snapshot: 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 850-869 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=850&end_line=869

import Base

def owner.cursor.open.snapshot(
  allocator: ResourceIdAllocator,
  reservations: Registry,
  cursors: List<&2, CursorResource>,
  snapshot_id: U32,
  updated: SnapshotListCursorDecision
) -> OwnerCursorOpenDecision:
  match updated:
    case SnapshotListUpdated{snapshots}:
      owner.cursor.open.allocated(allocate_resource_id(allocator),
        reservations, snapshots, cursors, snapshot_id)
    case SnapshotListRejected{snapshots}:
      OwnerCursorRejected{OwnerRegistry{allocator, reservations, snapshots,
        cursors}}
    case SnapshotListClosed{prefix, resource, tail}:
      OwnerCursorRejected{OwnerRegistry{allocator, reservations,
        snapshot.list.cursor.restore(prefix, Con{resource, tail}), cursors}}
    case SnapshotListBusy{snapshots}:
      OwnerCursorRejected{OwnerRegistry{allocator, reservations, snapshots,
        cursors}}

Uses (11):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/Snapshot.bend&name=CursorResource
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/Snapshot.bend&name=OwnerCursorOpenDecision
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/Snapshot.bend&name=OwnerRegistry
  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=ResourceIdAllocator
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/Snapshot.bend&name=SnapshotListCursorDecision
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/Snapshot.bend&name=allocate_resource_id
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/Snapshot.bend&name=owner.cursor.open.allocated
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/Snapshot.bend&name=snapshot.list.cursor.restore