pub unsafe extern "C" fn cvc5_sort_is_array(sort: Cvc5Sort) -> bool
Determine if given sort is an array sort. @param sort The sort. @return True if the sort is an array sort.