remove downlevel version incompatible elements of typing

NikolajBjorner · NikolajBjorner · commit bd2c7aa908b1 · 2025-04-04T20:18:23.000-07:00
diff --git a/src/api/python/z3/z3.py b/src/api/python/z3/z3.py
@@ -60,10 +60,7 @@
 from typing import (
     Any,
     Iterable,
-    Sequence,
-    TypeVar,
-    Self,
-    Union,
+    Sequence
 )
 
 
