kdrag.theories.bitvec.toBV
==========================

.. currentmodule:: kdrag.theories.bitvec

.. autofunction:: toBV