def prefix.lengths

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

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

116# Unpacks measured key and prefix lengths before comparison.
117def prefix.lengths(
118  key_pair: Bytes.Bytes & U32,
119  prefix_pair: Bytes.Bytes & U32
120) -> Bool:
121  match key_pair:
122    case (key, key_len):
123      match prefix_pair:
124        case (prefix, prefix_len):
125          prefix.length.checked(key, prefix, prefix_len, key_len)