def verify.measured

mylsm-lsm-store@0.6.0.1 · src/transfer/LegacyWal.bend:211

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

211# Converts the file byte count into a finite transition bound.
212def verify.measured(pair: Bytes.Bytes & U32) -> VerifyResult:
213  match pair:
214    case (bytes, size):
215      walk(Nat.add(5n,
216        Nat.mul(12n, Nat.add(Nat.div(U32.to_nat(size), 40n), 1n))),
217        Header{Bytes.slice(bytes, 0, 8)})