n class="arrow">&#45;&gt;</span></span> <span>[ `Incorrect_assumptions <span><span>| `witnesss</span> of <span><span>(<a href="../../Lang/Term/index.html#type-term">Lang.Term.term</a>, <a href="../../Lang/Term/Terms/index.html#type-comparator_witness">Lang.Term.Terms.comparator_witness</a>)</span> <span class="xref-unresolved">Base</span>.Set.t</span> * <span><span>(<a href="../../Lang/Term/index.html#type-term">Lang.Term.term</a>, <a href="../../Lang/Term/Terms/index.html#type-comparator_witness">Lang.Te