an class="va">imps</span> <span class="op">%~%</span> <span class="va">imps2</span></span></code></pre></div>
    </div>

    <div id="arguments">
    <h2>Arguments</h2>
    <dl><dt>imps</dt>
<dd><p>A <code>ImplicationSet</code>.</p></dd>


<dt>imps2</dt>
<dd><p>Another <code>ImplicationSet</code>.</p></dd>

</dl></div>
    <div id="value">
    <h2>Value</h2>
    

<p><code>TRUE</code> of and only if <code>imps</code> and <code>imps2</code></p>


<p>are equivalent, that is, if every implication in <code>imp