Function mk_tuple_sort 

pub unsafe extern "C" fn mk_tuple_sort(
    tm: *mut TermManager,
    size: usize,
    sorts: *const Sort,
) -> Sort

Create a tuple sort. @param tm The term manager instance. @param size The number of sorts. @param sorts The sorts of f the elements of the tuple. @return The tuple sort.