Type Definition z3_sys::Z3_bool

source · 
pub type Z3_bool = bool;
Expand description

Z3 Boolean type. It is just an alias for bool.