code"><span class="keyword">true</span></code>.
<p>

    The <code class="code">equal</code> relation must be able to work on a shallow copy of
    the values and give the same result as with the values themselves.<br>

</p><pre><span class="keyword">module type</span> <a href="Weak.S.html">S</a> = <code class="code"><span class="keyword">sig</span></code> <a href="Weak.S.html">..</a> <code class="code"><span class="keyword">end</span></code></pre><div class="info">
The output signature of the functor <a hr