def record.key.delete

mylsm-lsm-store@0.6.0.1 · src/SstFile.bend:169

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

169def record.key.delete(key_pair: Bytes.Bytes & U32) -> Result<&1, &1, Error, Bytes.Bytes>:
170  match key_pair:
171    case (key_bytes, +key_len):
172      record.key.delete.checked(key_bytes, key_len,
173        U32.is_le(key_len, (StorageBytes.MAX_RECORD_BYTES() - 5 : U32)))