Constant z3_sys::Z3_TRUE[−][src]

pub const Z3_TRUE: bool = true;