Generic construction
====================

.. doxygenfunction:: stp_mk_term
   :project: stp-c

.. doxygenfunction:: stp_mk_term_indexed
   :project: stp-c

.. doxygenfunction:: stp_mk_term_sorted
   :project: stp-c

.. doxygenfunction:: stp_mk_term1
   :project: stp-c

.. doxygenfunction:: stp_mk_term2
   :project: stp-c

.. doxygenfunction:: stp_mk_term3
   :project: stp-c

.. doxygenfunction:: stp_mk_term1_indexed1
   :project: stp-c

.. doxygenfunction:: stp_mk_term1_indexed2
   :project: stp-c

.. doxygenfunction:: stp_mk_term2_indexed1
   :project: stp-c

.. doxygenfunction:: stp_mk_term2_indexed2
   :project: stp-c