tor anchored"><a href="#type-abduction_result.Unsatisfiable" class="anchor"></a><code><span>| </span><span><span class="constructor">Unsatisfiable</span></span></code><div class="def-doc"><span class="comment-delim">(*</span><p>the assertion is never true given the parameters</p><span class="comment-delim">*)</span></div></li><li id="type-abduction_result.Satisfiable" class="def variant constructor anchored"><a href="#type-abduction_result.Satisfiable" class="anchor"></a><code><span>| </span><span><span cla