~/jendhub

def advance.upper

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

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

44def advance.upper(state: Search, mid: Nat) -> Search:
45  advance.upper.copies(state, QueuePolicy.nat.clone.pair(mid))

Uses (4)

Used by (1)