SortKind
========

Every :cpp:class:`Sort <cvc5::Sort>` has an associated kind, represented
as enum class :cpp:enum:`cvc5::SortKind`.

----

- enum class :cpp:enum:`cvc5::SortKind`
- :cpp:func:`std::ostream& cvc5::operator<< (std::ostream& out, SortKind kind)`
- :cpp:func:`std::string std::to_string(cvc5::SortKind kind)`
- :cpp:struct:`std::hash\<cvc5::SortKind>`

----

.. doxygenenum:: cvc5::SortKind
    :project: cvc5

----

.. doxygenfunction:: cvc5::operator<<(std::ostream& out, SortKind kind)
    :project: cvc5

.. doxygenfunction:: std::to_string(cvc5::SortKind kind)
    :project: cvc5

----

.. doxygenstruct:: std::hash< cvc5::SortKind >
    :project: std
    :members:
    :undoc-members:

