def frame.bound.total.valid
import mylsm-lsm-store@0.6.0.1/src/Wal.bend as Walimport 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))