.. _python-api:

Python API Documentation
========================

.. only:: not bindings_python

    .. warning::

        This documentation was built while python bindings were disabled. This part of the documentation is likely either empty or outdated. Please enable :code:`BUILD_BINDINGS_PYTHON` in :code:`cmake` and build the documentation again.

.. toctree::
    :maxdepth: 1

    quickstart
    datatype
    datatypeconstructor
    datatypeconstructordecl
    datatypedecl
    datatypeselector
    grammar
    op
    result
    roundingmode
    solver
    sort
    unknownexplanation