ze as just the byte number</p></dd></dl><dl><dt class="spec value" id="val-pp_bits"><a href="#val-pp_bits" class="anchor"></a><code><span class="keyword">val</span> pp_bits : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> PPrintEngine.document</code></dt><dd><p>Pretty print a size at &quot;16bits&quot; for example</p></dd></dl></details></div></div></div><dl><dt class="spec value" id="val-to_bv"><a href="#val-to_bv" class="anchor"></a><code><span class="keyword">val</span> to_bv : <a href="index.h