stp.BitVecVal
=============

.. autofunction:: stp.BitVecVal