<span class="parameter ">other<span class="token operator">: </span><a href="../-expression/index.html">Expression</a><span class="token operator">&lt;</span><span class="token keyword">in </span><a href="is-distinct-from.html">S</a><span class="token operator">&gt;</span></span></span><span class="token punctuation">)</span><span class="token operator">: </span><a href="../-is-distinct-from-op/index.html">IsDistinctFromOp</a></div><div class="symbol monospace"><span class="token keyword">open </span><span 