ty

Author: philzook58

src/kdrag/theories/real/arb.py

@@ -7,7 +7,7 @@
 
 Arb: TypeAlias = object
 
-arb = flint.arb
+arb = flint.arb  # type: ignore[unresolved-attribute]
 a, b = smt.Reals("a b")
 flint_decls = {
     real.sqrt: arb.sqrt,
@@ -193,7 +193,7 @@ def res(x: Arb) -> kd.kernel.Proof:
 """
 
 
-def z3_of_exact_arb(x: flint.arb) -> smt.ArithRef:
+def z3_of_exact_arb(x: flint.arb) -> smt.ArithRef:  # type: ignore[unresolved-attribute]
     """
     Get exact arb as z3 value
 
@@ -213,7 +213,7 @@ def z3_of_exact_arb(x: flint.arb) -> smt.ArithRef:
     return smt.simplify(smt.RealVal(int(man)) * smt.RealVal(2) ** smt.RealVal(int(exp)))
 
 
-def z3_mid_rad_of_arb(x: flint.arb) -> tuple[smt.ArithRef, smt.ArithRef]:
+def z3_mid_rad_of_arb(x: flint.arb) -> tuple[smt.ArithRef, smt.ArithRef]:  # type: ignore[unresolved-attribute]
     """
     Get midpoint and radius as z3 values.