[−][src]Constant z3_sys::Z3_L_TRUE

pub const Z3_L_TRUE: Z3_lbool = 1;