span> <a href="index.html#type-smt">smt</a></span></code></dt><dd><p>Raw SMT command coming out of the parser</p></dd></dl><dl><dt class="spec type" id="type-rsmt_ans"><a href="#type-rsmt_ans" class="anchor"></a><code><span class="keyword">type</span> rsmt_ans</code><code> = <span><span>(<a href="index.html#type-lrng">lrng</a>, string, string, <a href="Size/index.html#type-t">Size.t</a>)</span> <a href="index.html#type-smt_ans">smt_ans</a></span></code></dt><dd><p>Raw SMT answer coming out of the parser<