ce.SEMIRING</a></code></li><li><code><a href="argument-2-E/index.html">E</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></li><li><code><a href="argument-3-A/index.html">A</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></li></ul><h3 class="heading">Signature</h3><div class="spec module" id="module-V"><a href="#module-V" class="anchor"></a><code><span class="keyword">module</span> <a href="V/index.html">V</a> : <span class="keyword">sig</sp