Snapshot.snapshot.list.cursor.exhausted: 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 726-739 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=726&end_line=739

import Base

def snapshot.list.cursor.exhausted(
  state: SnapshotListCursorState
) -> SnapshotListCursorDecision:
  match state:
    case SnapshotCursorSearch{snapshots, _, _, prefix}:
      SnapshotListRejected{snapshot.list.cursor.restore(prefix, snapshots)}
    case SnapshotCursorCompareCopies{copies, tail, _, _, prefix}:
      match copies:
        case (_, resource):
          SnapshotListRejected{snapshot.list.cursor.restore(prefix,
            Con{resource, tail})}
    case SnapshotCursorCompare{_, resource, tail, _, _, prefix}:
      SnapshotListRejected{snapshot.list.cursor.restore(prefix,
        Con{resource, tail})}

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