~/jendhub

def classify.copies

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

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

19def classify.copies(pair: Nat & Nat, max_bytes: Nat) -> Decision:
20  match pair:
21    case (minimum_check, budget_check):
22      Bool.pick(Decision, Nat.is_le(60n, minimum_check),
23        Bool.pick(Decision, within_budget(budget_check, max_bytes),
24          WithinBudget{}, OverBudget{}), TooSmall{})

Uses (7)

Used by (1)