~/jendhub

def file.header.copies

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

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

208# Separates header copies needed by output and root authentication.
209def file.header.copies(
210  copies: Bytes.Bytes & Bytes.Bytes,
211  block: Bytes.Bytes,
212  block_root: Bytes.Bytes,
213  +total: U32,
214  +payload_len: U32
215) -> Result<&1, &1, Error, Bytes.Bytes>:
216  match copies:
217    case (header_output, header_hash):
218      file.index(header_output, header_hash, block, block_root, total, payload_len)

Uses (7)

Used by (1)