~/jendhub

def within_budget

mylsm-lsm-store@0.6.0.1 · src/SstReadPolicy.bend:15

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

15# Accepts a table only when its size is within the configured file budget.
16def within_budget(size: Nat, max_bytes: Nat) -> Bool:
17  Nat.is_le(size, max_bytes)

Uses (3)

Used by (1)