Constant z3_sys::Z3_L_FALSE

source · 
pub const Z3_L_FALSE: Z3_lbool = -1;