SstCursor.scan.entry.upper.copies: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/scan/SstCursor.bend as SstCursor
Lines 134-152 of mylsm-lsm-store@0.6.0.1/src/scan/SstCursor.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/SstCursor.bend&start_line=134&end_line=152

import Base
import mylsm-lsm-store@0.6.0.1/src/ByteMemTable.bend as ByteMemTable
import mylsm-lsm-store@0.6.0.1/src/scan/ByteBlockReader.bend as ByteBlockReader
import mylsm-lsm-store@0.6.0.1/src/scan/ByteRange.bend as ByteRange
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes

def scan.entry.upper.copies(
  key: Bytes.Bytes,
  value: Maybe<&1, Bytes.Bytes>,
  cursor: ByteBlockReader.EntryCursor,
  lower: Maybe<&1, Bytes.Bytes>,
  prefix: Maybe<&1, Bytes.Bytes>,
  retained: Bounds,
  upper: Maybe<&1, Bytes.Bytes> & Maybe<&1, Bytes.Bytes>,
  key_copies: Bytes.Bytes & Bytes.Bytes
) -> IO(Step):
  match upper:
    case (upper_test, upper_checked):
      match key_copies:
        case (upper_key, filter_key):
          scan.entry.upper.result(
            ByteRange.at_or_after_upper(upper_key, upper_test),
            key, value, cursor, lower, prefix, retained,
            upper_checked,
            ByteMemTable.bytes.clone(filter_key))

Uses (11):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=bend-kit-bytes@0.3.3.0/bytes.bend&name=Bytes
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/ByteMemTable.bend&name=bytes.clone
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/ByteBlockReader.bend&name=EntryCursor
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/ByteRange.bend&name=at_or_after_upper
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/SstCursor.bend&name=Bounds
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/SstCursor.bend&name=Step
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/SstCursor.bend&name=scan.entry.upper.result