def restore.block.frame.bounds
mylsm-lsm-store@0.6.0.1 · src/transfer/Restore.bend:471
import mylsm-lsm-store@0.6.0.1/src/transfer/Restore.bend as Restore
import Base
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes
471def restore.block.frame.bounds(
472 input: Bytes.Bytes,
473 +offset: Nat,
474 index: U32,
475 record_count: U32,
476 +frame_length: U32,
477 +block_length: Nat,
478 +input_size: U32
479) -> Result<&1, &1, Error, BlockHeader>:
480 restore.block.frame.bounded(input, offset, index, record_count,
481 frame_length, block_length,
482 Nat.is_le(Nat.add(offset, block_length), U32.to_nat(input_size)))