def verify.complete.routed

mylsm-lsm-store@0.6.0.1 · src/scan/SstCursor.bend:275

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

275def verify.complete.routed(
276  bounds: Bounds,
277  result: IO(Result<&1, &1, U32 & String, ByteBlockReader.Reader>)
278) -> IO(Result<&1, &1, U32 & String, Cursor>):
279  do IO<Result<&1, &1, U32 & String, Cursor>>:
280    routed : Result<&1, &1, U32 & String, ByteBlockReader.Reader> <- result
281    verify.complete.routed.result(bounds, routed)