Z3_mk_bv_sort

z3_sys

Function Z3_mk_bv_sort 

Source 
pub unsafe extern "C" fn Z3_mk_bv_sort(
    c: Z3_context,
    sz: c_uint,
) -> Option<Z3_sort>
Expand description

Create a bit-vector type of the given size.

This type can also be seen as a machine integer.

NOTE: The size of the bit-vector type must be greater than zero.