kdrag.theories.real.arb.interp_flint

kdrag.theories.real.arb.interp_flint(e: ArithRef, env) → arb

Interpret a z3 expression into an arb calculation.

>>> interp_flint(real.pi, {})
[3.14159265358979 +/- 3.34e-15]