Type Definition Z3_bool
z3_sys
type Z3_bool = bool;
Z3 Boolean type. It is just an alias for bool.
bool