 â€“ <a href="../../../../../../index.html">bastet</a> &#x00BB; <a href="../../../../../index.html">Bastet</a> &#x00BB; <a href="../../../../index.html">Test</a> &#x00BB; <a href="../../../index.html">Bool</a> &#x00BB; <a href="../../index.html">M</a> &#x00BB; <a href="../index.html">Boolean_Algebra</a> &#x00BB; V</nav><h1>Module <code>Boolean_Algebra.V</code></h1></header><dl><dt class="spec value" id="val-excluded_middle"><a href="#val-excluded_middle" class="anchor"></a><code><span class="keyword">v