rith.Bvxor" class="anchor"></a><code>| </code><code><span class="constructor">Bvxor</span></code></td></tr><tr id="type-bvmanyarith.Bvadd" class="anchored"><td class="def constructor"><a href="#type-bvmanyarith.Bvadd" class="anchor"></a><code>| </code><code><span class="constructor">Bvadd</span></code></td></tr><tr id="type-bvmanyarith.Bvmul" class="anchored"><td class="def constructor"><a href="#type-bvmanyarith.Bvmul" class="anchor"></a><code>| </code><code><span class="constructor">Bvmul</span></code></t