stp.BVSubNoUnderflow
====================

.. autofunction:: stp.BVSubNoUnderflow