Constant z3_sys::Z3_TRUE

source · 
pub const Z3_TRUE: bool = true;