"keyword">of</span> <span class="type-var">'m</span></code></td></tr></table></dt><dt class="spec type" id="type-bvarith"><a href="#type-bvarith" class="anchor"></a><code><span class="keyword">type</span> bvarith</code><code> = </code><table class="variant"><tr id="type-bvarith.Bvuremi" class="anchored"><td class="def constructor"><a href="#type-bvarith.Bvuremi" class="anchor"></a><code>| </code><code><span class="constructor">Bvuremi</span></code></td></tr><tr id="type-bvarith.Bvsremi" class="anchored"><td