<a href="../../../../../index.html">bastet</a> &#x00BB; <a href="../../../../index.html">Bastet</a> &#x00BB; <a href="../../../index.html">Verify</a> &#x00BB; <a href="../../index.html">Compare</a> &#x00BB; <a href="../index.html">Semiring</a> &#x00BB; I</nav><h1>Module <code>Semiring.I</code></h1></header><dl><dt class="spec value" id="val-(|+|)"><a href="#val-(|+|)" class="anchor"></a><code><span class="keyword">val</span> (|+|) : <a href="../argument-1-S/index.html#type-t">S.t</a> <span>&#45;&gt;</span> 