∀ (scheme : Option Std.Http.URI.Scheme) (userInfo : Option Std.Http.URI.UserInfo) (host : Option Std.Http.URI.Host)
  (port : Std.Http.URI.Port) (pathSegments : Array String) (query : Array (String × Option String))
  (fragment : Option String) (scheme_1 : Option Std.Http.URI.Scheme) (userInfo_1 : Option Std.Http.URI.UserInfo)
  (host_1 : Option Std.Http.URI.Host) (port_1 : Std.Http.URI.Port) (pathSegments_1 : Array String)
  (query_1 : Array (String × Option String)) (fragment_1 : Option String),
  ({ scheme := scheme, userInfo := userInfo, host := host, port := port, pathSegments := pathSegments, query := query,
        fragment := fragment } =
      { scheme := scheme_1, userInfo := userInfo_1, host := host_1, port := port_1, pathSegments := pathSegments_1,
        query := query_1, fragment := fragment_1 }) =
    (scheme = scheme_1 ∧
      userInfo = userInfo_1 ∧
        host = host_1 ∧ port = port_1 ∧ pathSegments = pathSegments_1 ∧ query = query_1 ∧ fragment = fragment_1)