e of 8) which are zeros.</p><p>This bytes may be shorter that the bitvector size, for example the bitvector 1 of size 64bits, will still be returned by this function as a single byte 1. For another behavior, see <a href="index.html#val-to_bytes_exact"><code>to_bytes_exact</code></a>.</p></dd></dl><dl><dt class="spec value" id="val-to_bytes_exact"><a href="#val-to_bytes_exact" class="anchor"></a><code><span class="keyword">val</span> to_bytes_exact : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> b