dex.html">Up</a> â€“ <a href="../../../index.html">bastet</a> &#x00BB; <a href="../../index.html">Bastet__Verify</a> &#x00BB; <a href="../index.html">Compare</a> &#x00BB; Bounded_Meet_Semilattice</nav><h1>Module <code>Compare.Bounded_Meet_Semilattice</code></h1></header><h3 class="heading">Parameters</h3><ul><li><code><a href="argument-1-B/index.html">B</a> : <a href="../../../Bastet/Interface/index.html#module-type-BOUNDED_MEET_SEMILATTICE">Bastet.Interface.BOUNDED_MEET_SEMILATTICE</a></code></li><li>