Cvc5SortKind
============

Every :cpp:type:`Cvc5Sort` has an associated kind, represented
as enum :cpp:enum:`Cvc5SortKind`.

.. container:: hide-toctree

  .. toctree::

----

.. doxygenenum:: Cvc5SortKind
    :project: cvc5_c

----

.. doxygenfunction:: cvc5_sort_kind_to_string
    :project: cvc5_c

.. doxygenfunction:: cvc5_sort_kind_hash
    :project: cvc5_c

