def frame.bound.total

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

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

508def frame.bound.total(
509  cursor: Bytes.Cursor,
510  +frame_len: U32,
511  +end: U32,
512  checked: Maybe<&2, U32>
513) -> Result<&1, &1, Error, Batch>:
514  match checked:
515    case None{}:
516      Fail{TooLarge{}}
517    case Some{+expected_end}:
518      frame.bound.total.valid(cursor, frame_len,
519        U32.is_eq(expected_end, end))