="of.html">E</a></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="of.html">E</a><span class="token operator">&gt;</span></div><p class="paragraph">Creates a <a href="../index.html">NotEmptySet</a> starting with a <a href="of.html">head</a> and containing all the elements of the optional <a href="of.html">tail</a>.</p><br>
<details>
<summary>
   