~/jendhub

def frame.bound.valid

mylsm-lsm-store@0.6.0.1 · src/Wal.bend:459

import mylsm-lsm-store@0.6.0.1/src/Wal.bend as Wal
import Base
import mylsm-lsm-store@0.6.0.1/src/StorageBytes.bend as StorageBytes

459def frame.bound.valid(
460  +frame_len: U32,
461  +count: U32,
462  valid: Bool
463) -> Bool:
464  valid && U32.is_le(count,
465    U32.from_nat(Nat.div(U32.to_nat(frame_len), 5n))) &&
466    (U32.is_le(frame_len, StorageBytes.MAX_BLOCK_BYTES()) ||
467      U32.is_eq(count, 1) && U32.is_le(frame_len,
468        (StorageBytes.MAX_RECORD_BYTES() + 36 : U32)))

Uses (12)

Used by (1)