"anchored"><td class="def constructor"><a href="#type-bvcomp.Bvslt" class="anchor"></a><code>| </code><code><span class="constructor">Bvslt</span></code></td></tr><tr id="type-bvcomp.Bvule" class="anchored"><td class="def constructor"><a href="#type-bvcomp.Bvule" class="anchor"></a><code>| </code><code><span class="constructor">Bvule</span></code></td></tr><tr id="type-bvcomp.Bvsle" class="anchored"><td class="def constructor"><a href="#type-bvcomp.Bvsle" class="anchor"></a><code>| </code><code><span class=