def record.key.delete.checked

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

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

158def record.key.delete.checked(
159  key_bytes: Bytes.Bytes,
160  +key_len: U32,
161  valid: Bool
162) -> Result<&1, &1, Error, Bytes.Bytes>:
163  match valid:
164    case False{}:
165      Fail{TooLarge{}}
166    case True{}:
167      Done{Bytes.concat([u8_bytes(1), u32_bytes(key_len), key_bytes])}