Sequences
============


Basic Sequence Term Builders
-------------------------------

.. autofunction:: cvc5.pythonic.SeqSort
.. autofunction:: cvc5.pythonic.Unit

Sequence Operators
-------------------

.. autofunction:: cvc5.pythonic.Empty
.. autofunction:: cvc5.pythonic.Length
.. autofunction:: cvc5.pythonic.SubSeq
.. autofunction:: cvc5.pythonic.SeqUpdate


See the following operator overload for sequence terms:

* is member: :py:meth:`cvc5.pythonic.SeqRef.__getitem__`


Classes (with overloads)
----------------------------

.. autoclass:: cvc5.pythonic.SeqSortRef
  :members:
  :special-members:
.. autoclass:: cvc5.pythonic.SeqRef
  :members:
  :special-members: