def file.index.copies
mylsm-lsm-store@0.6.0.1 · src/ByteSstFile.bend:182
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
182def file.index.copies(
183 header_output: Bytes.Bytes,
184 header_hash: Bytes.Bytes,
185 block: Bytes.Bytes,
186 block_root: Bytes.Bytes,
187 copies: Bytes.Bytes & Bytes.Bytes,
188 +total: U32
189) -> Result<&1, &1, Error, Bytes.Bytes>:
190 match copies:
191 case (index_output, index_hash):
192 file.index.length(header_output, header_hash, block, block_root,
193 Bytes.length(index_output), index_hash, total)