Skip to main content

cvc5_get_string_sort

cvc5_sys

Function cvc5_get_string_sort 

Source 
pub unsafe extern "C" fn cvc5_get_string_sort(
    tm: *mut Cvc5TermManager,
) -> Cvc5Sort
Expand description

Get the string sort. @param tm The term manager instance. @return Sort String.