code></a></p><p><code>( * )</code> with <code>1</code> as the empty element <code>(( * ), 1)</code>:</p><pre><code class="ml"># let empty = 1;;
val empty : int = 1

# let satisfies_identity_law = 10 * empty = 10;;
val satisfies_identity_law : bool = true

# let satisfies_associative_law = 1 * (2 * 3) = (1 * 2) * 3;;
val satisfies_associative_law : bool = true</code></pre></li><li><p>The <a href="Bastet/Bool/Conjunctive/Monoid/index.html"><code>Bastet.Bool.Conjunctive.Monoid</code></a></p><p><code>(&amp;&amp