Type Definition z3_sys::Z3_param_descrs
[−]
[src]
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.