Function cvc5_sort_array_get_index_sort

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

Expand description

Get the index sort of a given array sort. @param sort The sort. @return The array index sort of an array sort.

cvc5_sort_array_get_index_sort