CursorOpenCodec.range.upper.read: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/coordinator/CursorOpenCodec.bend as CursorOpenCodec
Lines 221-228 of mylsm-lsm-store@0.6.0.1/src/coordinator/CursorOpenCodec.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/CursorOpenCodec.bend&start_line=221&end_line=228

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

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

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-kit-bytes@0.3.3.0/bytes.bend&name=Bytes
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/CursorOpenCodec.bend&name=RangeResult
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/CursorOpenCodec.bend&name=field.read
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/CursorOpenCodec.bend&name=range.upper.result