~/jendhub

def delete_record_bytes

mylsm-lsm-store@0.6.0.1 · src/DurableBatchPolicy.bend:50

import mylsm-lsm-store@0.6.0.1/src/DurableBatchPolicy.bend as DurableBatchPolicy
import Base

50# Counts one encoded Delete record's tag, length field, and key.
51def delete_record_bytes(key_bytes: Nat) -> Nat:
52  Nat.add(5n, key_bytes)

Uses (2)

Used by (1)