[][src]Constant z3_sys::Z3_TRUE

pub const Z3_TRUE: bool