Function cvc5_sort_sequence_get_element_sort 

pub unsafe extern "C" fn cvc5_sort_sequence_get_element_sort(
    sort: Cvc5Sort,
) -> Cvc5Sort

Get the element sort of a sequence sort. @param sort The sort. @return The element sort of a sequence sort.