stp.DeclareSort
===============

.. autofunction:: stp.DeclareSort