kdrag.theories.real.sympy.z3_of_arb

kdrag.theories.real.sympy.z3_of_arb(x: arb) → tuple[ArithRef, ArithRef]

Parameters:

x (arb)

Return type:

tuple[ArithRef, ArithRef]