Cvc5SynthResult
===============

This struct represents a :cpp:type:`Cvc5` SyGus synthesis result.

.. container:: hide-toctree

  .. toctree::

----

.. doxygentypedef:: Cvc5SynthResult
    :project: cvc5_c

----

.. doxygengroup:: c_cvc5synthresult
    :project: cvc5_c
    :content-only:
