Skip to main content

cvc5_sort_is_string

cvc5_sys

Function cvc5_sort_is_string 

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

Determine if given sort is the string sort (SMT-LIB: String). @param sort The sort. @return True if given sort is the string sort.