def prefix.length.checked

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

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

106# Rejects prefixes longer than the key before slicing.
107def prefix.length.checked(
108  key: Bytes.Bytes,
109  prefix: Bytes.Bytes,
110  +prefix_len: U32,
111  +key_len: U32
112) -> Bool:
113  Bool.pick(Bool, U32.is_le(prefix_len, key_len),
114    prefix.slice(key, prefix, prefix_len), False{})