Type Definition z3_sys::Z3_fixedpoint

source · 
pub type Z3_fixedpoint = *mut _Z3_fixedpoint;
Expand description

Context for the recursive predicate solver.