~/jendhub

def levels_well_formed

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

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

173def levels_well_formed(levels: List<&2, List<&2, List<&2, MemTable.Entry>>>) -> Bool:
174  match levels:
175    case Nil{}:
176      True{}
177    case Con{+level, rest}:
178      bool_and(level_disjoint(level), levels_well_formed(rest))

Uses (5)

Used by (1)