ByteBlockReader.metadata: 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 116-127 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=116&end_line=127

import Base

# Returns compact file metadata while preserving the owned reader.
def metadata(reader: Reader) -> Metadata & Reader:
  match reader:
    case Reader{file, state}:
      match state:
        case State{+size, header, +index_offset, used, +total,
            +block_count, next_block, decoded, root_hash, index_hash,
            last_key, selected}:
          (Metadata{size, total, block_count, index_offset, 0n, 0n},
            Reader{file, State{size, header, index_offset, used, total,
              block_count, next_block, decoded, root_hash, index_hash,
              last_key, selected}})

Uses (5):
  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=mylsm-lsm-store@0.6.0.1/src/scan/ByteBlockReader.bend&name=Metadata
  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=State