header><aside><p>This module provides an interface for a bit vector of dynamic size.</p><p>For now this is entirely based on <code>zarith</code>.</p><p>TODO: It could be nice to export this as a separate library on opam at some point</p><p>The value of type t is semantically pure and can be compare with polymorphic operators. It will compare the size first, then the value.</p><p>The size of bit vectors must always be strictly positive.</p></aside><dl><dt class="spec type" id="type-t"><a href="#type-t" class