Constant z3_sys::Z3_L_UNDEF[−][src]

pub const Z3_L_UNDEF: Z3_lbool = 0;