Constant z3_sys::Z3_L_FALSE[−][src]

pub const Z3_L_FALSE: Z3_lbool = -1;