~/jendhub

def writer_transitions

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

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

8# Reserves writer transitions for every source read plus fixed finalization.
9def writer_transitions(base_records: Nat, delta_records: Nat) -> Nat:
10  Nat.add(Nat.mul(3n, budget(base_records, delta_records)), 8n)

Uses (4)

Used by (1)