stp.BoolToBV1
=============

.. autofunction:: stp.BoolToBV1