Added the missing 3.13 definitions to typing stubs

PiperOrigin-RevId: 812757557

Author: superbobry

pytype/stubs/builtins/typing.pytd

@@ -655,7 +655,6 @@ class ParamSpecArgs: ...
 class ParamSpecKwargs: ...
 
 class TypeGuard(bool, Generic[_T]): ...
-class TypeIs(bool, Generic[_T]): ...
 
 def is_typeddict(tp) -> bool: ...
 
@@ -695,3 +694,12 @@ class TypeAliasType:
     def __getitem__(self, parameters: Any) -> Any: ...
     def __or__(self, right: Any) -> Any: ...
     def __ror__(self, left: Any) -> Any: ...
+
+# Python 3.13
+
+def is_protocol(tp: type, /) -> bool: ...
+def get_protocol_members(tp: type, /) -> frozenset[str]: ...
+class _NoDefaultType: ...
+NoDefault: _NoDefaultType
+class TypeIs(bool, Generic[_T]): ...
+ReadOnly: Any