Function cvc5_sort_is_integer 

pub unsafe extern "C" fn cvc5_sort_is_integer(sort: Cvc5Sort) -> bool

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