def route.compare.copies

mylsm-lsm-store@0.6.0.1 · src/scan/ByteBlockReader.bend:823

import Base
import mylsm-lsm-store@0.6.0.1/src/scan/BlockRoutePolicy.bend as BlockRoutePolicy
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes

823def route.compare.copies(
824  file: File,
825  state: State,
826  context: RouteContext,
827  search: BlockRoutePolicy.Search,
828  mid: Nat,
829  separator: Bytes.Bytes,
830  copies: Bytes.Bytes & Bytes.Bytes
831) -> RouteState:
832  match copies:
833    case (target, retained):
834      RouteNeed{file, state, context, retained,
835        BlockRoutePolicy.advance(search,
836          BlockRoutePolicy.move(target, separator), mid)}