~/jendhub

def budget

mylsm-lsm-store@0.6.0.1 · src/scan/ScanWorkPolicy.bend:4

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

4# Bounds source reads by the base, delta, and one terminal observation.
5def budget(base_records: Nat, delta_records: Nat) -> Nat:
6  Nat.add(Nat.add(base_records, delta_records), 1n)

Uses (2)

Used by (1)