def frame.bound.total.valid

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

import mylsm-lsm-store@0.6.0.1/src/Wal.bend as Wal
import Base
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes

495def frame.bound.total.valid(
496  cursor: Bytes.Cursor,
497  +frame_len: U32,
498  valid: Bool
499) -> Result<&1, &1, Error, Batch>:
500  match valid:
501    case False{}:
502      Fail{Malformed{}}
503    case True{}:
504      frame.bound.count(Bytes.Cursor.u32be(cursor), frame_len,
505        U32.is_le(36, frame_len))

Uses (9)

Used by (1)