 href="../../../../index.html">bastet</a> &#x00BB; <a href="../../../index.html">Bastet__Test</a> &#x00BB; <a href="../../index.html">Bool</a> &#x00BB; <a href="../index.html">Join_Semilattice</a> &#x00BB; V</nav><h1>Module <code>Join_Semilattice.V</code></h1></header><dl><dt class="spec value" id="val-associativity"><a href="#val-associativity" class="anchor"></a><code><span class="keyword">val</span> associativity : <a href="../../../../Bastet/Bool/Join_Semilattice/index.html#type-t">Bastet.Bool.Join_Semi