~/jendhub

def block.checksum.sized

mylsm-lsm-store@0.6.0.1 · src/transfer/Restore.bend:235

import mylsm-lsm-store@0.6.0.1/src/transfer/Restore.bend as Restore
import Base
import mylsm-lsm-store@0.6.0.1/src/coordinator/QueuePolicy.bend as QueuePolicy
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes

235def block.checksum.sized(
236  block: Bytes.Bytes,
237  block_length: U32,
238  measured: Bytes.Bytes & U32
239) -> Bool:
240  block.checksum.sized.lengths(block,
241    QueuePolicy.nat.clone.pair(U32.to_nat(block_length)), measured)

Uses (7)

Used by (1)