stp.BitVecSort
==============

.. autofunction:: stp.BitVecSort