stp.FreshBitVec
===============

.. autofunction:: stp.FreshBitVec