def variant constructor anchored"><a href="#type-sat_unsat_t.Unsat" class="anchor"></a><code><span>| </span><span><span class="constructor">Unsat</span></span></code></li><li id="type-sat_unsat_t.Sat" class="def variant constructor anchored"><a href="#type-sat_unsat_t.Sat" class="anchor"></a><code><span>| </span><span><span class="constructor">Sat</span> <span class="keyword">of</span> <span class="type-var">'a</span></span></code></li></ol></div></div></details></div><h3 id="enforce-short-form-usage"><a hr