def frame.bound.checked

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

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

470def frame.bound.checked(
471  cursor: Bytes.Cursor,
472  +count: U32,
473  valid: Bool
474) -> Result<&1, &1, Error, Batch>:
475  match valid:
476    case False{}:
477      Fail{Malformed{}}
478    case True{}:
479      frame.records(records.read.start(cursor, count))