SMTLib format</p></dd></dl></section><section><header><h2 id="arithmetic"><a href="#arithmetic" class="anchor"></a>Arithmetic</h2></header><dl><dt class="spec value" id="val-add"><a href="#val-add" class="anchor"></a><code><span class="keyword">val</span> add : <a href="index.html#type-t">t</a> <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>Add the values. Result is of the same size as the inputs.</p><p>Throw <a href="index