[][src]Constant z3_sys::Z3_FALSE

pub const Z3_FALSE: bool