Handles
=======

.. doxygentypedef:: stp_tm
   :project: stp-c

.. doxygentypedef:: stp_solver
   :project: stp-c

.. doxygentypedef:: stp_options
   :project: stp-c

.. doxygentypedef:: stp_model
   :project: stp-c

.. doxygentypedef:: stp_term
   :project: stp-c

.. doxygentypedef:: stp_sort
   :project: stp-c

.. doxygentypedef:: stp_array_value
   :project: stp-c

.. doxygentypedef:: stp_fun_value
   :project: stp-c

.. doxygentypedef:: stp_statistics
   :project: stp-c