mirror of
https://github.com/AdaCore/cvc5.git
synced 2026-02-12 12:32:16 -08:00
12 lines
191 B
ReStructuredText
12 lines
191 B
ReStructuredText
SortKind
|
|
========
|
|
|
|
Every :py:obj:`Sort <cvc5.Sort>` has an associated kind, represented
|
|
as enum :py:obj:`cvc5.SortKind`.
|
|
|
|
----
|
|
|
|
.. autoclass:: cvc5.SortKind
|
|
:members:
|
|
:undoc-members:
|