Type Definition Z3_fixedpoint
z3_sys
type Z3_fixedpoint = *mut _Z3_fixedpoint;
Context for the recursive predicate solver.