def prefix.slice

mylsm-lsm-store@0.6.0.1 · src/scan/ByteRange.bend:102

import mylsm-lsm-store@0.6.0.1/src/scan/ByteRange.bend as ByteRange
import Base
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes

102# Slices exactly the requested prefix length and compares the resulting bytes.
103def prefix.slice(key: Bytes.Bytes, prefix: Bytes.Bytes, +prefix_len: U32) -> Bool:
104  prefix.slice.result(prefix, Bytes.slice(key, 0, prefix_len))

Uses (5)

Used by (1)