~/jendhub

def disjoint_with

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

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

188# Check disjointness of whether with holds for the sorted-run operations.
189def disjoint_with(+run: List<&2, MemTable.Entry>, runs: List<&2, List<&2, MemTable.Entry>>) -> Bool:
190  match runs:
191    case Nil{}:
192      True{}
193    case Con{+h, t}:
194      bool_and(range_disjoint(run, h), disjoint_with(run, t))

Uses (5)

Used by (1)