"><code>Bastet.Bool.Disjunctive.Monoid</code></a></p><p><code>(||)</code> with <code>false</code> as the empty element <code>((||), false)</code>:</p><pre><code class="ml"># let empty = false;;
val empty : bool = false

# let satisfies_identity_law = (true || empty) = true;;
val satisfies_identity_law : bool = true

# let satisfies_associative_law = (true || (true || false)) = ((true || true) || false);;
val satisfies_associative_law : bool = true</code></pre></li><li><p>The <a href="Bastet/String/Monoid/in