RangeCursor.next.upper.test: def of mylsm-lsm-store@0.6.0.1 Import: import mylsm-lsm-store@0.6.0.1/src/scan/RangeCursor.bend as RangeCursor Lines 251-257 of mylsm-lsm-store@0.6.0.1/src/scan/RangeCursor.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/RangeCursor.bend&start_line=251&end_line=257 import Base import mylsm-lsm-store@0.6.0.1/src/ByteMemTable.bend as ByteMemTable import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes def next.upper.test( key: Bytes.Bytes, bounds: Maybe<&1, Bytes.Bytes> & Maybe<&1, Bytes.Bytes> ) -> Bool: match bounds: case (upper, _): next.upper.test.bytes(ByteMemTable.bytes.clone(key), upper) Uses (7): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma 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/ByteMemTable.bend&name=bytes.clone https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/RangeCursor.bend&name=next.upper.test.bytes