Function bitwuzla_term_array_get_element_sort 

pub unsafe extern "C" fn bitwuzla_term_array_get_element_sort(
    term: BitwuzlaTerm,
) -> BitwuzlaSort