ByteBlockReader.open.header.index.length.decoded: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/scan/ByteBlockReader.bend as ByteBlockReader
Lines 309-330 of mylsm-lsm-store@0.6.0.1/src/scan/ByteBlockReader.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/ByteBlockReader.bend&start_line=309&end_line=330

import Base
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes

def open.header.index.length.decoded(
  file: File,
  +size: Nat,
  header: Bytes.Bytes,
  total: U32,
  block_count: U32,
  +block_count_nat: U32,
  result: Bytes.Bytes & Maybe<&2, U32>
) -> IO(Result<&1, &1, U32 & String, Reader>):
  match result:
    case (_, Some{index_length_word}):
      +index_length = U32.to_nat(index_length_word)
      +blocks = U32.to_nat(block_count_nat)
      +minimum_index_length = Nat.add(8n, Nat.mul(blocks, 16n))
      +index_size = Nat.add(44n, index_length)
      +index_offset = Nat.sub(size, index_size)
      open.header.index(file, size, header, total, block_count,
        index_offset,
        Nat.is_le(minimum_index_length, index_length) &&
          Nat.is_le(index_size, size) && Nat.is_le(20n, index_offset))
    case (_, None{}):
      open.failed(file, corruption("byte SST footer has no index length"))

Uses (20):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=File
  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=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.add
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.is_le
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.mul
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.sub
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  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/scan/ByteBlockReader.bend&name=Reader
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/ByteBlockReader.bend&name=corruption
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/ByteBlockReader.bend&name=open.failed
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/ByteBlockReader.bend&name=open.header.index