Function mk_uninterpreted_sort_constructor_sort 

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

Create an uninterpreted sort constructor sort.

An uninterpreted sort constructor is an uninterpreted sort with arity > 0.

@param tm The term manager instance. @param symbol The symbol of the sort. @param arity The arity of the sort (must be > 0) @return The uninterpreted sort constructor sort.