def file.index.length

mylsm-lsm-store@0.6.0.1 · src/ByteSstFile.bend:167

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

167# Separates the index copies used by output and root authentication.
168def file.index.length(
169  header_output: Bytes.Bytes,
170  header_hash: Bytes.Bytes,
171  block: Bytes.Bytes,
172  block_root: Bytes.Bytes,
173  measured: Bytes.Bytes & U32,
174  index_hash: Bytes.Bytes,
175  +total: U32
176) -> Result<&1, &1, Error, Bytes.Bytes>:
177  match measured:
178    case (output, index_length):
179      file.root(header_output, header_hash, block, block_root,
180        output, index_hash, index_length, total)