QueuePolicy.admit.state.copies: 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 123-136 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=123&end_line=136

import Base

def admit.state.copies(
  count_copies: Nat & Nat,
  byte_copies: Nat & Nat,
  request_bytes: Nat,
  max_count: Nat,
  max_queue_bytes: Nat
) -> Admission:
  match count_copies:
    case (checked_count, retained_count):
      match byte_copies:
        case (checked_bytes, retained_bytes):
          admit.state.result(Occupancy{retained_count, retained_bytes},
            admit(checked_count, checked_bytes, request_bytes,
              max_count, max_queue_bytes))

Uses (7):
  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=Admission
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/QueuePolicy.bend&name=State
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/QueuePolicy.bend&name=admit
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/QueuePolicy.bend&name=admit.state.result