Type Definition Z3_lbool
z3_sys
type Z3_lbool = i32;
Lifted Boolean type: false, undefined, true.
false
undefined
true