~/jendhub

def total_decision

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

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

43# Checks a file against the remaining aggregate budget before decoding.
44def total_decision(total: Nat, size: Nat, max_bytes: Nat) -> TotalDecision:
45  total.copies(QueuePolicy.nat.clone.pair(total),
46    QueuePolicy.nat.clone.pair(size), max_bytes)

Uses (4)

Used by (1)