-- Std.Http.Server.Config
Std.Http.Config.mk.inj : ∀ {maxConnections maxRequests maxHeaders maxHeaderBytes : ℕ} {lingeringTimeout : Std.Time.Millisecond.Offset}
  {keepAliveTimeout : { x // x > 0 }} {headerTimeout : Std.Time.Millisecond.Offset} {enableKeepAlive : Bool}
  {maximumRecvSize defaultPayloadBytes : ℕ} {generateDate : Bool} {serverName : Option Std.Http.Header.Value}
  {maxUriLength maxStartLineLength maxHeaderNameLength maxHeaderValueLength maxSpaceSequence maxLeadingEmptyLines
    maxChunkExtNameLength maxChunkExtValueLength maxChunkLineLength maxChunkSize maxBodySize maxReasonPhraseLength
    maxTrailerHeaders maxChunkExtensions maxConnections_1 maxRequests_1 maxHeaders_1 maxHeaderBytes_1 : ℕ}
  {lingeringTimeout_1 : Std.Time.Millisecond.Offset} {keepAliveTimeout_1 : { x // x > 0 }}
  {headerTimeout_1 : Std.Time.Millisecond.Offset} {enableKeepAlive_1 : Bool}
  {maximumRecvSize_1 defaultPayloadBytes_1 : ℕ} {generateDate_1 : Bool} {serverName_1 : Option Std.Http.Header.Value}
  {maxUriLength_1 maxStartLineLength_1 maxHeaderNameLength_1 maxHeaderValueLength_1 maxSpaceSequence_1
    maxLeadingEmptyLines_1 maxChunkExtNameLength_1 maxChunkExtValueLength_1 maxChunkLineLength_1 maxChunkSize_1
    maxBodySize_1 maxReasonPhraseLength_1 maxTrailerHeaders_1 maxChunkExtensions_1 : ℕ},
  { maxConnections := maxConnections, maxRequests := maxRequests, maxHeaders := maxHeaders,
        maxHeaderBytes := maxHeaderBytes, lingeringTimeout := lingeringTimeout, keepAliveTimeout := keepAliveTimeout,
        headerTimeout := headerTimeout, enableKeepAlive := enableKeepAlive, maximumRecvSize := maximumRecvSize,
        defaultPayloadBytes := defaultPayloadBytes, generateDate := generateDate, serverName := serverName,
        maxUriLength := maxUriLength, maxStartLineLength := maxStartLineLength,
        maxHeaderNameLength := maxHeaderNameLength, maxHeaderValueLength := maxHeaderValueLength,
        maxSpaceSequence := maxSpaceSequence, maxLeadingEmptyLines := maxLeadingEmptyLines,
        maxChunkExtNameLength := maxChunkExtNameLength, maxChunkExtValueLength := maxChunkExtValueLength,
        maxChunkLineLength := maxChunkLineLength, maxChunkSize := maxChunkSize, maxBodySize := maxBodySize,
        maxReasonPhraseLength := maxReasonPhraseLength, maxTrailerHeaders := maxTrailerHeaders,
        maxChunkExtensions := maxChunkExtensions } =
      { maxConnections := maxConnections_1, maxRequests := maxRequests_1, maxHeaders := maxHeaders_1,
        maxHeaderBytes := maxHeaderBytes_1, lingeringTimeout := lingeringTimeout_1,
        keepAliveTimeout := keepAliveTimeout_1, headerTimeout := headerTimeout_1, enableKeepAlive := enableKeepAlive_1,
        maximumRecvSize := maximumRecvSize_1, defaultPayloadBytes := defaultPayloadBytes_1,
        generateDate := generateDate_1, serverName := serverName_1, maxUriLength := maxUriLength_1,
        maxStartLineLength := maxStartLineLength_1, maxHeaderNameLength := maxHeaderNameLength_1,
        maxHeaderValueLength := maxHeaderValueLength_1, maxSpaceSequence := maxSpaceSequence_1,
        maxLeadingEmptyLines := maxLeadingEmptyLines_1, maxChunkExtNameLength := maxChunkExtNameLength_1,
        maxChunkExtValueLength := maxChunkExtValueLength_1, maxChunkLineLength := maxChunkLineLength_1,
        maxChunkSize := maxChunkSize_1, maxBodySize := maxBodySize_1, maxReasonPhraseLength := maxReasonPhraseLength_1,
        maxTrailerHeaders := maxTrailerHeaders_1, maxChunkExtensions := maxChunkExtensions_1 } →
    maxConnections = maxConnections_1 ∧
      maxRequests = maxRequests_1 ∧
        maxHeaders = maxHeaders_1 ∧
          maxHeaderBytes = maxHeaderBytes_1 ∧
            lingeringTimeout = lingeringTimeout_1 ∧
              keepAliveTimeout = keepAliveTimeout_1 ∧
                headerTimeout = headerTimeout_1 ∧
                  enableKeepAlive = enableKeepAlive_1 ∧
                    maximumRecvSize = maximumRecvSize_1 ∧
                      defaultPayloadBytes = defaultPayloadBytes_1 ∧
                        generateDate = generateDate_1 ∧
                          serverName = serverName_1 ∧
                            maxUriLength = maxUriLength_1 ∧
                              maxStartLineLength = maxStartLineLength_1 ∧
                                maxHeaderNameLength = maxHeaderNameLength_1 ∧
                                  maxHeaderValueLength = maxHeaderValueLength_1 ∧
                                    maxSpaceSequence = maxSpaceSequence_1 ∧
                                      maxLeadingEmptyLines = maxLeadingEmptyLines_1 ∧
                                        maxChunkExtNameLength = maxChunkExtNameLength_1 ∧
                                          maxChunkExtValueLength = maxChunkExtValueLength_1 ∧
                                            maxChunkLineLength = maxChunkLineLength_1 ∧
                                              maxChunkSize = maxChunkSize_1 ∧
                                                maxBodySize = maxBodySize_1 ∧
                                                  maxReasonPhraseLength = maxReasonPhraseLength_1 ∧
                                                    maxTrailerHeaders = maxTrailerHeaders_1 ∧
                                                      maxChunkExtensions = maxChunkExtensions_1