Skip to main content

sort_is_uninterpreted_sort

cvc5_sys

Function sort_is_uninterpreted_sort 

Source 
pub unsafe extern "C" fn sort_is_uninterpreted_sort(
    sort: Sort,
) -> bool
Expand description

Determine if given sort is an uninterpreted sort. @param sort The sort. @return True if given sort is an uninterpreted sort.