ode>Bastet.Int.Additive.Monoid</code></a></p><p><code>(+)</code> with <code>0</code> as the empty element <code>((+), 0)</code>:</p><pre><code class="ml"># let empty = 0;;
val empty : int = 0

# 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/Int/Multiplicative/Monoid/index.html"><code>Bastet.Int.Multiplicative.Monoid</