~/jendhub

def runs_well_formed

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

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

133# Run s well formed for the sorted-run operations.
134def runs_well_formed(runs: List<&2, List<&2, MemTable.Entry>>) -> Bool:
135  match runs:
136    case Nil{}:
137      True{}
138    case Con{+run, rest}:
139      bool_and(bool_and(is_strict(run), is_unique(run)), runs_well_formed(rest))

Uses (6)

Used by (1)