Mylsm.Bytes.snapshot.scan_next: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/mylsm.bend as Mylsm
Lines 1607-1615 of mylsm-lsm-store@0.6.0.1/mylsm.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/mylsm.bend&start_line=1607&end_line=1615

import Base
import mylsm-lsm-store@0.6.0.1/src/scan/RangeCursor.bend as ByteRangeCursor

def Bytes.snapshot.scan_next(cursor: Bytes.Cursor) -> Bytes.ScanStep:
  match cursor:
    case ByteCursor{inner, bounds}:
      Bytes.scan_next.cloned(inner, ByteRangeCursor.bounds.clone(bounds))
    case ByteOwnerCursor{_, _, _}:
      ScanFailure{UnsupportedOperation{}, ByteClosedCursor{}}
    case ByteFailureCursor{error}:
      ScanFailure{error, ByteClosedCursor{}}
    case _: ScanEnd{cursor}

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/mylsm.bend&name=Bytes.Cursor
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/mylsm.bend&name=Bytes.Error
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/mylsm.bend&name=Bytes.ScanStep
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/mylsm.bend&name=Bytes.scan_next.cloned
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/RangeCursor.bend&name=bounds.clone