="anchor"></a><code><span class="keyword">type</span> t</code></dt><dd><p>The type of a bitvector</p></dd></dl><dl><dt class="spec exception" id="exception-SizeMismatch"><a href="#exception-SizeMismatch" class="anchor"></a><code><span class="keyword">exception</span> </code><code><span class="exception">SizeMismatch</span> <span class="keyword">of</span> int * int</code></dt><dd><p>Raise when the runtime size do not match on operation that require so (like <a href="index.html#val-add"><code>add</code></a>)<