def admit.total.pair

mylsm-lsm-store@0.6.0.1 · src/coordinator/QueuePolicy.bend:26

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

26def admit.total.pair(checked: Nat, output: Nat, max_queue_bytes: Nat) -> Bool & Nat:
27  (Nat.is_le(checked, max_queue_bytes), output)

Uses (5)

Used by (1)