~/jendhub

def resident_budget

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

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

8# Returns the fixed bound for all resident serialized-index buffers.
9def resident_budget() -> Nat:
10  65536n

Uses (1)

Used by (0)

No other definition uses this definition.