QueuePolicy.admit.counted.limits: 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 86-96 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=86&end_line=96

import Base

def admit.counted.limits(
  pair: Nat & Nat,
  queued_bytes: Nat,
  request_bytes: Nat,
  max_count: Nat,
  limits: Nat & Nat
) -> Decision:
  match pair:
    case (count, checked_count):
      admit.counted.requested(count, checked_count, queued_bytes,
        nat.clone.pair(request_bytes), max_count, limits)

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.requested
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/QueuePolicy.bend&name=nat.clone.pair