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