p></td></tr></table></div><div class="subs instances"><h4 class="instances details-toggle-control details-toggle" data-details-id="i:EditAction">Instances</h4><details id="i:EditAction" open="open"><summary class="hide-when-js-enabled">Instances details</summary><table><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:EditAction:Eq:1"></span> Eq c =&gt; Eq (<a href="WEditor-Document.html#t:EditAction" title="WEditor.Docume