lude</span> <a href="../../../../../Bastet/Interface/index.html#module-type-BOUNDED_LATTICE">Bastet.Interface.BOUNDED_LATTICE</a></code></span></summary><div><div class="spec include"><div class="doc"><details open="open"><summary><span class="def"><code><span class="keyword">include</span> <a href="../../../../../Bastet/Interface/index.html#module-type-BOUNDED_JOIN_SEMILATTICE">Bastet.Interface.BOUNDED_JOIN_SEMILATTICE</a></code></span></summary><div><div class="spec include"><div class="doc"><details open