Auto-updated pyi stubs

src/pymod/distutils_src/klayout/rdbcore.pyi

@@ -701,6 +701,12 @@ class RdbItemValue:
 
         This method has been introduced in version 0.22.
         """
+    def __repr__(self) -> str:
+        r"""
+        @brief Converts a value to a string
+        The string can be used by the string constructor to create another object from it.
+        @return The string
+        """
     def __str__(self) -> str:
         r"""
         @brief Converts a value to a string

src/pymod/distutils_src/klayout/tlcore.pyi

@@ -320,6 +320,10 @@ class ArgType:
         r"""
         @brief Inequality of two types
         """
+    def __repr__(self) -> str:
+        r"""
+        @brief Convert to a string
+        """
     def __str__(self) -> str:
         r"""
         @brief Convert to a string
@@ -2268,6 +2272,10 @@ class Timer:
         r"""
         @brief Creates a new object of this class
         """
+    def __repr__(self) -> str:
+        r"""
+        @brief Produces a string with the currently elapsed times
+        """
     def __str__(self) -> str:
         r"""
         @brief Produces a string with the currently elapsed times
@@ -2412,6 +2420,10 @@ class Value:
         @brief Constructs a non-nil object with the given value.
         This constructor has been introduced in version 0.22.
         """
+    def __repr__(self) -> str:
+        r"""
+        @brief Convert this object to a string
+        """
     def __str__(self) -> str:
         r"""
         @brief Convert this object to a string