~/jendhub

def disjoint_with

mylsm-lsm-store@0.3.2.0 · src/SortedRun.bend:156

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

156def disjoint_with(+run: List<&2, MemTable.Entry>, runs: List<&2, List<&2, MemTable.Entry>>) -> Bool:
157  match runs:
158    case Nil{}:
159      True{}
160    case Con{+h, t}:
161      bool_and(range_disjoint(run, h), disjoint_with(run, t))

Uses (5)

Used by (1)