ad-dwarf</a> &#x00BB; <a href="../index.html">Utils</a> &#x00BB; BitVec</nav><h1>Module <code>Utils.BitVec</code></h1><nav class="toc"><ul><li><a href="#integer-conversions">Integer conversions</a></li><li><a href="#bytes-conversions">Bytes conversions</a></li><li><a href="#string-conversions,-printing">String conversions, printing</a></li><li><a href="#arithmetic">Arithmetic</a></li><li><a href="#bit-manipulation">Bit manipulation</a></li><li><a href="#infix-operators">Infix operators</a></li></ul></nav></