Function mk_uninterpreted_sort 

pub unsafe extern "C" fn mk_uninterpreted_sort(
    tm: *mut TermManager,
    symbol: *const c_char,
) -> Sort

Create an uninterpreted sort. @param tm The term manager instance. @param symbol The name of the sort, may be NULL. @return The uninterpreted sort.