pub unsafe extern "C" fn term_get_sort(term: Term) -> Sort
Get the sort of a given term. @param term The term. @return The sort of the term.