stp.BitVec
==========

.. autofunction:: stp.BitVec