RoundingMode
================

This enum represents a floating-point rounding mode.

----

.. autoclass:: cvc5.RoundingMode
    :members:
    :undoc-members: