pub type Z3_param_descrs = *mut _Z3_param_descrs;
Provides a collection of parameter names, their types, default values and documentation strings. Solvers, tactics, and other objects accept different collection of parameters.