Function mk_tuple 

pub unsafe extern "C" fn mk_tuple(
    tm: *mut TermManager,
    size: usize,
    terms: *const Term,
) -> Term

Create a tuple term. @param tm The term manager instance. @param size The number of elements in the tuple. @param terms The elements. @return The tuple Term.