pub unsafe extern "C" fn mk_bv_sort(
tm: *mut TermManager,
size: u32,
) -> SortExpand description
Create a bit-vector sort. @param tm The term manager instance. @param size The bit-width of the bit-vector sort. @return The bit-vector sort.
pub unsafe extern "C" fn mk_bv_sort(
tm: *mut TermManager,
size: u32,
) -> SortCreate a bit-vector sort. @param tm The term manager instance. @param size The bit-width of the bit-vector sort. @return The bit-vector sort.