ef="#type-bvcomp.Bvugt" class="anchor"></a><code>| </code><code><span class="constructor">Bvugt</span></code></td></tr><tr id="type-bvcomp.Bvsgt" class="anchored"><td class="def constructor"><a href="#type-bvcomp.Bvsgt" class="anchor"></a><code>| </code><code><span class="constructor">Bvsgt</span></code></td></tr></table></dt><dt class="spec type" id="type-bvmanyarith"><a href="#type-bvmanyarith" class="anchor"></a><code><span class="keyword">type</span> bvmanyarith</code><code> = </code><table class="varia