~/jendhub

def active

mylsm-lsm-store@0.6.0.1 · src/scan/BlockRoutePolicy.bend:53

import mylsm-lsm-store@0.6.0.1/src/scan/BlockRoutePolicy.bend as BlockRoutePolicy
import Base

53# Reports whether the half-open search interval remains nonempty.
54def active(state: Search) -> Bool:
55  match state:
56    case Search{low, high, _}: Nat.is_lt(low, high)

Uses (3)

Used by (1)