Result
------

- enum :cpp:enum:`bitwuzla::Result`
- :cpp:func:`std::string std::to_string(bitwuzla::Result result)`

----

:code:`namespace bitwuzla {`

.. doxygenenum:: bitwuzla::Result
    :project: Bitwuzla_cpp

----

:code:`namespace std {`

.. doxygenfunction:: std::to_string(bitwuzla::Result result)
    :project: Bitwuzla_cpp

:code:`}`
