Function term_get_uint32_value 

pub unsafe extern "C" fn term_get_uint32_value(term: Term) -> u32

Get the uint32_t representation of a given integral value. @note Requires that the term is an uint32 value (see cvc5_term_is_uint32_value()). @param term The term. @return The term as uint32_t value.