QueuePolicy.admit.counted.request.check: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/coordinator/QueuePolicy.bend as QueuePolicy
Lines 56-69 of mylsm-lsm-store@0.6.0.1/src/coordinator/QueuePolicy.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/QueuePolicy.bend&start_line=56&end_line=69

import Base

def admit.counted.request.check(
  count: Nat,
  checked_count: Nat,
  queued_bytes: Nat,
  request_output: Nat,
  max_count: Nat,
  checked_limit: Nat,
  output_limit: Nat,
  request_check_pair: Nat & Nat
) -> Decision:
  match request_check_pair:
    case (request_check, request_size_check):
      admit.inputs(count, nat.clone.pair(queued_bytes), (request_check, request_output), output_limit,
        Nat.is_le(request_size_check, checked_limit), Nat.is_lt(checked_count, max_count))

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.is_le
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.is_lt
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/QueuePolicy.bend&name=Decision
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/QueuePolicy.bend&name=admit.inputs
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/QueuePolicy.bend&name=nat.clone.pair