Cvc5DatatypeConstructor
=======================

This struct represents a datatype constructor. Datatype constructors are
specified by a :cpp:type:`datatype constructor declaration
<Cvc5DatatypeConstructorDecl>` via `cvc5_mk_dt_cons_decl()` when
constructing a datatype sort and can be retrieved from a
:cpp:type:`Cvc5Datatype` via :cpp:func:`cvc5_dt_get_constructor()`.

.. container:: hide-toctree

  .. toctree::

----

.. doxygentypedef:: Cvc5DatatypeConstructor
    :project: cvc5_c

----

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