../../../index.html">alg_structs</a> &#x00BB; <a href="../../index.html">Alg_structs</a> &#x00BB; <a href="../index.html">Monoid</a> &#x00BB; Int</nav><h1>Module <code>Monoid.Int</code></h1><p>Monoids over <code>int</code></p></header><dl><dt class="spec module" id="module-Sum"><a href="#module-Sum" class="anchor"></a><code><span class="keyword">module</span> <a href="Sum/index.html">Sum</a> : <a href="../index.html#module-type-S">S</a> <span class="keyword">with</span> <span class="keyword">type</span> <a 