~/jendhub

def midpoint.copies

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

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

15def midpoint.copies(lows: Nat & Nat, high: Nat) -> Nat:
16  match lows:
17    case (offset, subtractor):
18      Nat.add(offset, Nat.div(Nat.sub(high, subtractor), 2n))

Uses (6)

Used by (1)