Function term_get_rm_value 

pub unsafe extern "C" fn term_get_rm_value(term: Term) -> RoundingMode

Get the Cvc5RoundingMode value of a given rounding-mode value term. @note Asserts cvc5_term_is_rounding_mode_value(). @param term The term. @return The floating-point rounding mode value of the term.