~/jendhub

def chunks_bounded_go

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

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

399# Handle the chunk s bounded go for the sorted-run operations.
400def chunks_bounded_go(+target: Nat, chunks: List<&2, List<&2, MemTable.Entry>>) -> Bool:
401  match chunks:
402    case Nil{}:
403      True{}
404    case Con{chunk, rest}:
405      bool_and(
406        Nat.is_le(List.length(&2, MemTable.Entry, chunk), target),
407        chunks_bounded_go(target, rest))

Uses (7)

Used by (1)