Symbols and values
==================

.. doxygenfunction:: stp_declare
   :project: stp-c

.. doxygenfunction:: stp_mk_fresh
   :project: stp-c

.. doxygenfunction:: stp_tm_symbol
   :project: stp-c

.. doxygenfunction:: stp_tm_bind_symbol
   :project: stp-c

.. doxygenfunction:: stp_tm_num_symbols
   :project: stp-c

.. doxygenfunction:: stp_tm_symbol_at
   :project: stp-c

.. doxygenfunction:: stp_tm_num_declared_sorts
   :project: stp-c

.. doxygenfunction:: stp_tm_declared_sort_at
   :project: stp-c

.. doxygenfunction:: stp_tm_term_from_id
   :project: stp-c

.. doxygenfunction:: stp_mk_true
   :project: stp-c

.. doxygenfunction:: stp_mk_false
   :project: stp-c

.. doxygenfunction:: stp_mk_bool
   :project: stp-c

.. doxygenfunction:: stp_mk_bv_uint64
   :project: stp-c

.. doxygenfunction:: stp_mk_bv_int64
   :project: stp-c

.. doxygenfunction:: stp_mk_bv_str
   :project: stp-c

.. doxygenfunction:: stp_mk_bv_limbs
   :project: stp-c

.. doxygenfunction:: stp_mk_bv_bytes
   :project: stp-c

.. doxygenfunction:: stp_mk_bv_wrapped
   :project: stp-c

.. doxygenfunction:: stp_mk_bv_zero
   :project: stp-c

.. doxygenfunction:: stp_mk_bv_ones
   :project: stp-c

.. doxygenfunction:: stp_mk_bv_min_signed
   :project: stp-c

.. doxygenfunction:: stp_mk_bv_max_signed
   :project: stp-c

.. doxygenfunction:: stp_mk_fp_from_bits
   :project: stp-c

.. doxygenfunction:: stp_mk_fp_from_bits_str
   :project: stp-c

.. doxygenfunction:: stp_mk_fp
   :project: stp-c

.. doxygenfunction:: stp_mk_fp_pos_zero
   :project: stp-c

.. doxygenfunction:: stp_mk_fp_neg_zero
   :project: stp-c

.. doxygenfunction:: stp_mk_fp_pos_inf
   :project: stp-c

.. doxygenfunction:: stp_mk_fp_neg_inf
   :project: stp-c

.. doxygenfunction:: stp_mk_fp_nan
   :project: stp-c

.. doxygenfunction:: stp_mk_fp_double
   :project: stp-c

.. doxygenfunction:: stp_mk_fp_decimal
   :project: stp-c

.. doxygenfunction:: stp_mk_rm
   :project: stp-c

.. doxygenfunction:: stp_mk_real_int64
   :project: stp-c

.. doxygenfunction:: stp_mk_real_fraction
   :project: stp-c

.. doxygenfunction:: stp_mk_real_str
   :project: stp-c

.. doxygenfunction:: stp_mk_const_array
   :project: stp-c

.. doxygenfunction:: stp_array_from_bytes
   :project: stp-c