SstFile.parse.record.read.entry: def of mylsm-lsm-store@0.6.0.1 Import: import mylsm-lsm-store@0.6.0.1/src/SstFile.bend as SstFile Lines 746-758 of mylsm-lsm-store@0.6.0.1/src/SstFile.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/SstFile.bend&start_line=746&end_line=758 import Base import mylsm-lsm-store@0.6.0.1/src/MemTable.bend as MemTable import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes def parse.record.read.entry( cursor: Bytes.Cursor, +entry: MemTable.Entry, +bytes_used: U32, +payload_left: U32, previous: Maybe<&2, String>, last: Bool ) -> RecordRead: match entry: case MemTable.Entry{+key, _}: Record{cursor, Done{Rec{entry, bytes_used}}, U32.is_le(bytes_used, payload_left), parse.entries.ordered(previous, key), last, U32.is_eq(bytes_used, payload_left), key} Uses (12): 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=Result https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32 https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_eq https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_le https://jend.leeeet.dev/definition.txt?path=bend-kit-bytes@0.3.3.0/bytes.bend&name=Cursor https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/MemTable.bend&name=Entry https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/SstFile.bend&name=ParsedRecord https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/SstFile.bend&name=RecordRead https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/SstFile.bend&name=parse.entries.ordered