def record.delete

mylsm-lsm-store@0.6.0.1 · src/Wal.bend:100

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

100def record.delete(
101  pair: Bytes.Bytes & U32
102) -> Result<&1, &1, Error, Bytes.Bytes>:
103  match pair:
104    case (key, +key_len):
105      record.delete.valid(1, key, key_len,
106        U32.is_le(key_len, (StorageBytes.MAX_RECORD_BYTES() - 5 : U32)))