Type Definition z3_sys::Z3_fixedpoint
source · pub type Z3_fixedpoint = *mut _Z3_fixedpoint;
Expand description
Context for the recursive predicate solver.
pub type Z3_fixedpoint = *mut _Z3_fixedpoint;
Context for the recursive predicate solver.