~/jendhub

def range_disjoint

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

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

153def range_disjoint(+xs: List<&2, MemTable.Entry>, +ys: List<&2, MemTable.Entry>) -> Bool:
154  range_disjoint_bounds(first_key(xs), last_key(xs), first_key(ys), last_key(ys))

Uses (6)

Used by (1)