Type Definition Z3_params
z3_sys
type Z3_params = *mut _Z3_params;
Parameter set used to configure many components such as: simplifiers, tactics, solvers, etc.