By-value structs
================

.. doxygenstruct:: stp_budget
   :project: stp-c
   :members:
   :undoc-members:

.. doxygenstruct:: stp_entailment
   :project: stp-c
   :members:
   :undoc-members:

.. doxygenstruct:: stp_error
   :project: stp-c
   :members:
   :undoc-members:

.. doxygenstruct:: stp_float_value
   :project: stp-c
   :members:
   :undoc-members:

.. doxygenstruct:: stp_result
   :project: stp-c
   :members:
   :undoc-members:

.. doxygenstruct:: stp_version
   :project: stp-c
   :members:
   :undoc-members: