def restore.block.frame.length.checked

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

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

498def restore.block.frame.length.checked(
499  measured: Bytes.Bytes & U32,
500  +offset: Nat,
501  index: U32,
502  record_count: U32,
503  +frame_length: U32,
504  valid: Bool
505) -> Result<&1, &1, Error, BlockHeader>:
506  match measured:
507    case (input, input_size):
508      restore.block.frame.limit(input, offset, index, record_count,
509        frame_length, input_size, valid)