Function term_get_uint64_value 

pub unsafe extern "C" fn term_get_uint64_value(term: Term) -> u64

Get the uint64_t representation of a given integral value. @note Requires that the term is an uint64 value (see cvc5_term_is_uint64_value()). @param term The term. @return The term as uint64_t value.