SortKind
========

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

----

.. autoclass:: cvc5.SortKind
    :members:
    :undoc-members: