r"> -&gt; </span><span class="token keyword"></span><a href="index.html">NotEmptySet</a><span class="token operator">&lt;</span><span class="token keyword"></span><a href="../to-not-empty-set-or-else.html">E</a><span class="token operator">&gt;</span></span></span><span class="token punctuation">)</span><span class="token operator">: </span><a href="index.html">NotEmptySet</a><span class="token operator">&lt;</span><span class="token keyword"></span><a href="../to-not-empty-set-or-else.html">E</a><span clas