="keyword">functor</span> (<a href="Semiring/argument-2-E/index.html">E</a> : <a href="../../../Bastet/Interface/index.html#module-type-EQ">Bastet.Interface.EQ</a> <span class="keyword">with</span> <span class="keyword">type</span> <a href="Semiring/index.html#type-t">t</a> = <a href="Semiring/argument-1-S/index.html#type-t">S.t</a>) <span>&#45;&gt;</span> <span class="keyword">functor</span> (<a href="Semiring/argument-3-A/index.html">A</a> : <a href="../../index.html#module-type-ARBITRARY">ARBITRARY</a> <