kdrag.theories.bitvec.fromBV
============================

.. currentmodule:: kdrag.theories.bitvec

.. autofunction:: fromBV