Type Definition z3_sys::Z3_param_descrs

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.