C Interface
===========

* :ref:`c/interface:types`
* :ref:`c/interface:structs`
* :ref:`c/interface:enums`
* :ref:`c/interface:functions`

---------


Types
-----

- typedef struct :doc:`types/bitwuzlatermmanager`
- typedef struct :doc:`types/bitwuzlaoptions`
- typedef struct :doc:`types/bitwuzla`
- typedef struct :doc:`types/bitwuzlasort`
- typedef struct :doc:`types/bitwuzlaterm`
- typedef struct :doc:`types/bitwuzlaparser`

Structs
-------

- struct :doc:`structs/bitwuzlaoptioninfo`

Enums
------

- enum :doc:`enums/bitwuzlakind`
- enum :doc:`enums/bitwuzlaoption`
- enum :doc:`enums/bitwuzlaresult`
- enum :doc:`enums/bitwuzlaroundingmode`


Functions
---------

- :doc:`library_info`