Snapshot.owner.snapshot.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 1098-1112 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=1098&end_line=1112

import Base

def owner.snapshot.close.released(
  decision: RegistryReleaseDecision,
  allocator: ResourceIdAllocator,
  cursors: List<&2, CursorResource>,
  prefix: List<&2, SnapshotResource>,
  resource: SnapshotResource,
  tail: List<&2, SnapshotResource>
) -> OwnerSnapshotCloseDecision:
  match decision:
    case Released{reservations}:
      OwnerSnapshotClosed{OwnerRegistry{allocator, reservations,
        snapshot.list.cursor.restore(prefix, tail), cursors}, resource}
    case InvalidRelease{reservations}:
      OwnerSnapshotCloseRejected{OwnerRegistry{allocator, reservations,
        snapshot.list.cursor.restore(prefix, Con{resource, tail}), cursors}}

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  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=OwnerRegistry
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/Snapshot.bend&name=OwnerSnapshotCloseDecision
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/Snapshot.bend&name=RegistryReleaseDecision
  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=SnapshotResource
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/Snapshot.bend&name=snapshot.list.cursor.restore