def advance.upper.copies

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

import Base

37def advance.upper.copies(state: Search, mids: Nat & Nat) -> Search:
38  match state:
39    case Search{_, high, _}:
40      match mids:
41        case (next_mid, candidate):
42          Search{Nat.add(next_mid, 1n), high, candidate}