def contains_key

mylsm-lsm-store@0.6.0.1 · src/SortedRun.bend:48

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

48# Check membership for whether key holds for the sorted-run operations.
49def contains_key(+entry: MemTable.Entry, entries: List<&2, MemTable.Entry>) -> Bool:
50  match entry:
51    case MemTable.Entry{+key, val}:
52      match entries:
53        case Nil{}:
54          False{}
55        case Con{h, t}:
56          bool_or(entry_key_eq(h, key), contains_key(MemTable.Entry{key, val}, t))