~/jendhub

def range_disjoint

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

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

184# Handle range disjoint in the sorted-run operations.
185def range_disjoint(+xs: List<&2, MemTable.Entry>, +ys: List<&2, MemTable.Entry>) -> Bool:
186  range_disjoint_bounds(first_key(xs), last_key(xs), first_key(ys), last_key(ys))

Uses (6)

Used by (1)