pub unsafe extern "C" fn sort_is_fun(sort: Sort) -> bool
Determine if given sort is a function sort. @param sort The sort. @return True if given sort is a function sort.