Function mk_fun_sort 

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

Create function sort. @param tm The term manager instance. @param size The number of domain sorts. @param sorts The sort of the function arguments (the domain sorts). @param codomain The sort of the function return value. @return The function sort.