~/jendhub

def delete_key_length

mylsm-lsm-store@0.3.2.0 · src/SstFileV2.bend:150

import mylsm-lsm-store@0.3.2.0/src/SstFileV2.bend as SstFileV2
import Base
import mylsm-lsm-store@0.3.2.0/src/MemTable.bend as MemTable

150def delete_key_length(value: Nat) -> Transition:
151  match value:
152    case 0n:
153      EntryRead{MemTable.Entry{"", None{}}}
154    case 1n+rest:
155      Next{ReadKey{DelTag{}, 1n+rest, 0n, ""}}

Uses (6)

Used by (1)