def open.budget

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

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

334def open.budget(
335  path: String,
336  bounds: Bounds,
337  pair: Nat & ByteBlockReader.Reader
338) -> IO(Result<&1, &1, U32 & String, Cursor>):
339  match pair:
340    case (fuel, reader):
341      verify.loop(fuel, path, VerifyNeed{reader, bounds})