Skip to main content

cvc5_sort_array_get_index_sort

Function cvc5_sort_array_get_index_sort 

Source
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.