~/jendhub

def is_unique

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

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

58# Check whether unique holds for the sorted-run operations.
59def is_unique(entries: List<&2, MemTable.Entry>) -> Bool:
60  match entries:
61    case Nil{}:
62      True{}
63    case Con{+h, +t}:
64      bool_and(bool_not(contains_key(h, t)), is_unique(t))

Uses (6)

Used by (1)