def transition_budget

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

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

import Base

111# Returns the block traversal budget while preserving the owned reader.
112def transition_budget(reader: Reader) -> Nat & Reader:
113  match reader:
114    case Reader{file, state}: transition.budget.state(file, state)

Uses (4)

Used by (4)