def level_disjoint

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

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

170def level_disjoint(+runs: List<&2, List<&2, MemTable.Entry>>) -> Bool:
171  bool_and(runs_well_formed(runs), pairwise_disjoint(runs))

Uses (6)

Used by (2)