stp.FreshConst
==============

.. autofunction:: stp.FreshConst