Cvc5DatatypeConstructorDecl
===========================

This struct encapsulates a datatype constructor declaration.
A :cpp:type:`Cvc5DatatypeConstructorDecl`
is constructed via :cpp:func:`cvc5_mk_dt_cons_decl()`.
This is not yet a datatype constructor :doc:`datatype constructor itself
<cvc5datatypeconstructor>`, but the representation of the specification
for creating a datatype constructor of a datatype :cpp:type:`sort <Cvc5Sort>`
via :cpp:func:`cvc5_mk_dt_sort()` and :cpp:func:`cvc5_mk_dt_sorts()`.

.. container:: hide-toctree

  .. toctree::

----

.. doxygentypedef:: Cvc5DatatypeConstructorDecl
    :project: cvc5_c

----

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