~/jendhub

def pairwise_disjoint

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

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

196# Handle pairwise disjoint in the sorted-run operations.
197def pairwise_disjoint(runs: List<&2, List<&2, MemTable.Entry>>) -> Bool:
198  match runs:
199    case Nil{}:
200      True{}
201    case Con{+h, +t}:
202      bool_and(disjoint_with(h, t), pairwise_disjoint(t))

Uses (5)

Used by (1)