stp.BVMulNoOverflow
===================

.. autofunction:: stp.BVMulNoOverflow