Skip to main content

cvc5_sort_nullable_get_element_sort

cvc5_sys

Function cvc5_sort_nullable_get_element_sort 

Source 
pub unsafe extern "C" fn cvc5_sort_nullable_get_element_sort(
    sort: Cvc5Sort,
) -> Cvc5Sort
Expand description

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