def record.put.value.length.checked

mylsm-lsm-store@0.6.0.1 · src/ByteWal.bend:259

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

259# Parses a put value length after the raw key bytes.
260def record.put.value.length.checked(
261  pair: Bytes.Bytes & U32,
262  key: Bytes.Bytes,
263  +length: U32,
264  +value_offset: U32
265) -> DecodedRecord:
266  match pair:
267    case (frame, total):
268      record.put.value.checked(frame, key, length, value_offset,
269        bytes.interval.length(total, value_offset, length))