de> to false to not have a digit length matching the bitvector length, otherwise leading zeros will be inserted to match the length.</p></dd></dl><dl><dt class="spec value" id="val-of_smt"><a href="#val-of_smt" class="anchor"></a><code><span class="keyword">val</span> of_smt : string <span>&#45;&gt;</span> <a href="index.html#type-t">t</a></code></dt><dd><p>Convert a bitvector in the SMTLib format to a <a href="index.html#type-t"><code>t</code></a></p></dd></dl><dl><dt class="spec value" id="val-to_smt"><a 