def chunks_bounded

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

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

409# Handle the chunk s bounded for the sorted-run operations.
410def chunks_bounded(target: Nat, chunks: List<&2, List<&2, MemTable.Entry>>) -> Bool:
411  chunks_bounded_go(partition_target(target), chunks)

Uses (6)

Used by (0)

No other definition uses this definition.