VisibleCursor.preview.item.value.length: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/scan/VisibleCursor.bend as VisibleCursor
Lines 445-454 of mylsm-lsm-store@0.6.0.1/src/scan/VisibleCursor.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/VisibleCursor.bend&start_line=445&end_line=454

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/CursorPreviewPolicy.bend as PreviewPolicy
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes

def preview.item.value.length(
  key: Bytes.Bytes,
  +key_length: U32,
  measured: Bytes.Bytes & U32
) -> ByteMemTable.Entry & Nat:
  match measured:
    case (retained_bytes, value_length):
      (ByteMemTable.Entry{key, Some{retained_bytes}},
        PreviewPolicy.cursor.item.payload.bytes(
          U32.to_nat(key_length), U32.to_nat(value_length)))

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  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=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.to_nat
  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=Entry
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/CursorPreviewPolicy.bend&name=cursor.item.payload.bytes