class="anchor"></a><code>| </code><code><span class="constructor">Unsat</span></code></td></tr><tr id="type-smt_ans.Unknown" class="anchored"><td class="def constructor"><a href="#type-smt_ans.Unknown" class="anchor"></a><code>| </code><code><span class="constructor">Unknown</span></code></td></tr><tr id="type-smt_ans.Unsupported" class="anchored"><td class="def constructor"><a href="#type-smt_ans.Unsupported" class="anchor"></a><code>| </code><code><span class="constructor">Unsupported</span></code></td></