-- Std.Http.Server.Config
Std.Http.Config.mk.injEq : ∀ (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)