~/jendhub

def chunks_bounded_go

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

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

381def chunks_bounded_go(+target: Nat, chunks: List<&2, List<&2, MemTable.Entry>>) -> Bool:
382  match chunks:
383    case Nil{}:
384      True{}
385    case Con{chunk, rest}:
386      bool_and(
387        Nat.is_le(List.length(&2, MemTable.Entry, chunk), target),
388        chunks_bounded_go(target, rest))

Uses (7)

Used by (1)