RoundingMode 

Warning

doxygenenum: Cannot find enum “cvc5::RoundingMode” in doxygen xml output for project “cvc5” from directory: /home/runner/work/cvc5/cvc5/build-shared/docs/api/cpp/doxygen/xml