Skip to main content

get_integer_sort

cvc5_sys

Function get_integer_sort 

Source 
pub unsafe extern "C" fn get_integer_sort(
    tm: *mut TermManager,
) -> Sort
Expand description

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