SstFile.block.fin.digest.parts: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/SstFile.bend as SstFile
Lines 363-373 of mylsm-lsm-store@0.6.0.1/src/SstFile.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/SstFile.bend&start_line=363&end_line=373

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

# Build one v3 block and its digest over the two header words and payload.
def block.fin.digest.parts(
  +count: U32,
  payload: Bytes.Bytes,
  +payload_len: U32,
  pair: Bytes.Bytes & Bytes.Bytes
) -> EncodedBlock:
  match pair:
    case (output_digest, stored_digest):
      Block{Bytes.concat([u32_bytes(payload_len), u32_bytes(count), payload,
        output_digest]), stored_digest}

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  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=bend-kit-bytes@0.3.3.0/bytes.bend&name=Bytes
  https://jend.leeeet.dev/definition.txt?path=bend-kit-bytes@0.3.3.0/bytes.bend&name=concat
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/SstFile.bend&name=EncodedBlock
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/SstFile.bend&name=u32_bytes