Function cvc5_term_is_integer_value 

pub unsafe extern "C" fn cvc5_term_is_integer_value(
    term: Cvc5Term,
) -> bool

Determine if a given term is an integral value. @param term The term. @return True if the term is an integer constant or a real constant that has an integral value.