Constant z3_sys::Z3_FALSE

source · 
pub const Z3_FALSE: bool = false;