Sorts
=====

.. doxygenfunction:: stp_mk_bool_sort
   :project: stp-c

.. doxygenfunction:: stp_mk_bv_sort
   :project: stp-c

.. doxygenfunction:: stp_mk_fp_sort
   :project: stp-c

.. doxygenfunction:: stp_mk_fp16_sort
   :project: stp-c

.. doxygenfunction:: stp_mk_fp32_sort
   :project: stp-c

.. doxygenfunction:: stp_mk_fp64_sort
   :project: stp-c

.. doxygenfunction:: stp_mk_fp128_sort
   :project: stp-c

.. doxygenfunction:: stp_mk_rm_sort
   :project: stp-c

.. doxygenfunction:: stp_mk_real_sort
   :project: stp-c

.. doxygenfunction:: stp_mk_array_sort
   :project: stp-c

.. doxygenfunction:: stp_mk_fun_sort
   :project: stp-c

.. doxygenfunction:: stp_tm_declare_sort
   :project: stp-c

.. doxygenfunction:: stp_mk_fresh_sort
   :project: stp-c

.. doxygenfunction:: stp_sort_copy
   :project: stp-c

.. doxygenfunction:: stp_sort_release
   :project: stp-c

.. doxygenfunction:: stp_sort_get_kind
   :project: stp-c

.. doxygenfunction:: stp_sort_bv_size
   :project: stp-c

.. doxygenfunction:: stp_sort_fp_exp_size
   :project: stp-c

.. doxygenfunction:: stp_sort_fp_sig_size
   :project: stp-c

.. doxygenfunction:: stp_sort_array_index
   :project: stp-c

.. doxygenfunction:: stp_sort_array_element
   :project: stp-c

.. doxygenfunction:: stp_sort_fun_arity
   :project: stp-c

.. doxygenfunction:: stp_sort_fun_domain
   :project: stp-c

.. doxygenfunction:: stp_sort_fun_codomain
   :project: stp-c

.. doxygenfunction:: stp_sort_name
   :project: stp-c

.. doxygenfunction:: stp_sort_id
   :project: stp-c

.. doxygenfunction:: stp_sort_str
   :project: stp-c

.. doxygenfunction:: stp_sort_manager
   :project: stp-c