</code></dt><dd><p>Concatenates the bitvectors</p></dd></dl><dl><dt class="spec value" id="val-extract"><a href="#val-extract" class="anchor"></a><code><span class="keyword">val</span> extract : int <span>&#45;&gt;</span> int <span>&#45;&gt;</span> <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <a href="index.html#type-t">t</a></code></dt><dd><p><code>extract bv a b</code> extract bits <code>a</code> to <code>b</code> included from <code>bv</code>. Indices start at 0</p></dd></dl><dl><dt class="sp