index.html">bastet</a> &#x00BB; <a href="../index.html">Bastet__Tuple</a> &#x00BB; SEMIGROUP_F</nav><h1>Module type <code>Bastet__Tuple.SEMIGROUP_F</code></h1></header><h3 class="heading">Parameters</h3><ul><li><code><a href="argument-1-First/index.html">First</a> : <a href="../../Bastet/Interface/index.html#module-type-SEMIGROUP">Bastet.Interface.SEMIGROUP</a></code></li><li><code><a href="argument-2-Second/index.html">Second</a> : <a href="../../Bastet/Interface/index.html#module-type-SEMIGROUP">Bastet.In