QueuePolicy.admit.counted.requested: 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 71-84 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=71&end_line=84

import Base

def admit.counted.requested(
  count: Nat,
  checked_count: Nat,
  queued_bytes: Nat,
  request_pair: Nat & Nat,
  max_count: Nat,
  limits: Nat & Nat
) -> Decision:
  match request_pair:
    case (request_check, request_output):
      match limits:
        case (checked_limit, output_limit):
          admit.counted.request.check(count, checked_count, queued_bytes, request_output,
            max_count, checked_limit, output_limit, nat.clone.pair(request_check))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  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.counted.request.check
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/QueuePolicy.bend&name=nat.clone.pair