def range.upper.read

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

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

221# Reads the upper field from the source retained by lower-bound parsing.
222def range.upper.read(
223  source: Bytes.Bytes,
224  total: U32,
225  lower: Maybe<&1, Bytes.Bytes>,
226  offset: U32
227) -> RangeResult:
228  range.upper.result(field.read(source, total, offset), lower)