Snapshot.owner.cursor.close.released: 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 1018-1042 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=1018&end_line=1042

import Base

def owner.cursor.close.released(
  allocator: ResourceIdAllocator,
  reservations: Registry,
  prefix: List<&2, CursorResource>,
  resource: CursorResource,
  tail: List<&2, CursorResource>,
  snapshot_id: U32,
  released: SnapshotListCursorDecision
) -> OwnerCursorCloseDecision:
  match released:
    case SnapshotListUpdated{snapshots}:
      OwnerCursorClosed{OwnerRegistry{allocator, reservations, snapshots,
        cursor.list.restore(prefix, tail)}, snapshot_id}
    case SnapshotListRejected{snapshots}:
      OwnerCursorCloseRejected{OwnerRegistry{allocator, reservations,
        snapshots, cursor.list.restore(prefix, Con{resource, tail})}}
    case SnapshotListClosed{snapshot_prefix, snapshot_resource,
        snapshot_tail}:
      OwnerCursorCloseRejected{OwnerRegistry{allocator, reservations,
        snapshot.list.cursor.restore(snapshot_prefix,
          Con{snapshot_resource, snapshot_tail}),
        cursor.list.restore(prefix, Con{resource, tail})}}
    case SnapshotListBusy{snapshots}:
      OwnerCursorCloseRejected{OwnerRegistry{allocator, reservations,
        snapshots, cursor.list.restore(prefix, Con{resource, tail})}}

Uses (10):
  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=OwnerCursorCloseDecision
  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=cursor.list.restore
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/Snapshot.bend&name=snapshot.list.cursor.restore