Type Definition z3_sys::Z3_lbool[][src]

pub type Z3_lbool = i32;
Expand description

Lifted Boolean type: false, undefined, true.