an> <a href="index.html#type-bvcomp">bvcomp</a></code></td></tr></table></dt><dt class="spec type" id="type-manyop"><a href="#type-manyop" class="anchor"></a><code><span class="keyword">type</span> manyop</code><code> = </code><table class="variant"><tr id="type-manyop.And" class="anchored"><td class="def constructor"><a href="#type-manyop.And" class="anchor"></a><code>| </code><code><span class="constructor">And</span></code></td></tr><tr id="type-manyop.Or" class="anchored"><td class="def constructor"><a 