~/jendhub

def midpoint

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

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

20# Chooses the midpoint of a half-open block-index interval.
21def midpoint(low: Nat, high: Nat) -> Nat:
22  midpoint.copies(QueuePolicy.nat.clone.pair(low), high)

Uses (3)

Used by (1)