Constant z3_sys::Z3_FALSE[−][src]

pub const Z3_FALSE: bool = false;