All files

src/stdlib/tcp.panack

Green: covered; red: known zero; amber: unavailable. Blank lines are outside the executable-start-line denominator.

    1 // Finite TCP server limits. See SPEC.md for bounds, framing and shutdown.
    2 record TcpServerLimits {
    3   clients: Nat,
    4   concurrency: Nat,
    5   request_limit: Nat,
    6   response_limit: Nat,
    7   client_timeout_ms: Nat,
    8   admission_timeout_ms: Nat,
    9   drain_ms: Nat
   10 }
   11 

Functions

[]

Source branch outcomes

[]

Reviewed declaration exclusions

[
  {
    "id": "declaration/0",
    "reason": "record-declaration",
    "line": 2
  }
]