def field.sized

mylsm-lsm-store@0.6.0.1 · src/coordinator/CursorOpenCodec.bend:120

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

120# Validates the payload span before slicing one present bound.
121def field.sized(
122  payload: Bytes.Bytes,
123  total: U32,
124  offset: U32,
125  length: U32
126) -> BoundResult:
127  field.sized.inputs(payload, u32.duplicate.pair(total),
128    u32.duplicate.pair(offset),
129    u32.duplicate.pair(length))