def admit.counted.request.check
mylsm-lsm-store@0.6.0.1 · src/coordinator/QueuePolicy.bend:56
import mylsm-lsm-store@0.6.0.1/src/coordinator/QueuePolicy.bend as QueuePolicy
import Base
56def admit.counted.request.check(
57 count: Nat,
58 checked_count: Nat,
59 queued_bytes: Nat,
60 request_output: Nat,
61 max_count: Nat,
62 checked_limit: Nat,
63 output_limit: Nat,
64 request_check_pair: Nat & Nat
65) -> Decision:
66 match request_check_pair:
67 case (request_check, request_size_check):
68 admit.inputs(count, nat.clone.pair(queued_bytes), (request_check, request_output), output_limit,
69 Nat.is_le(request_size_check, checked_limit), Nat.is_lt(checked_count, max_count))