def field.value.inputs
mylsm-lsm-store@0.6.0.1 · src/coordinator/CursorOpenCodec.bend:146
import mylsm-lsm-store@0.6.0.1/src/coordinator/CursorOpenCodec.bend as CursorOpenCodec
import Base
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes
146
147def field.value.inputs(
148 payload: Bytes.Bytes,
149 total: U32,
150 offset: U32,
151 lengths: U32 & U32
152) -> BoundResult:
153 match lengths:
154 case (bound_length, check_length):
155 field.value.decision(payload, total, offset, bound_length,
156 U32.is_eq(check_length, 4294967295))