Skip to main content

cvc5_get_integer_sort

cvc5_sys

Function cvc5_get_integer_sort 

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

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