def advance.lower

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

import Base

33def advance.lower(state: Search, mid: Nat) -> Search:
34  match state:
35    case Search{low, _, best}: Search{low, mid, best}