def file.multi.output
mylsm-lsm-store@0.6.0.1 · src/ByteSstFile.bend:762
import mylsm-lsm-store@0.6.0.1/src/ByteSstFile.bend as ByteSstFile
import Base
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes
762def file.multi.output(
763 header_parts: Bytes.Bytes & Bytes.Bytes,
764 blocks: Bytes.Bytes,
765 checksums: Bytes.Bytes,
766 index_parts: Bytes.Bytes & Bytes.Bytes,
767 +total: U32
768) -> Result<&1, &1, Error, Bytes.Bytes>:
769 match header_parts:
770 case (header_output, header_hash):
771 match index_parts:
772 case (index_output, index_hash):
773 file.multi.output.measured(header_output, blocks, checksums,
774 Bytes.length(index_output), index_hash, header_hash, total)