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