def range.upper

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

import Base

230# Parses the upper bound after preserving the lower-bound result.
231def range.upper(
232  lower_result: BoundResult,
233  total: U32
234) -> RangeResult:
235  match lower_result:
236    case BoundMalformed{}: RangeMalformed{}
237    case BoundParsed{source, lower, next}:
238      range.upper.read(source, total, lower, next)