r">&gt;</span></div><div class="brief "><p class="paragraph">Creates a <a href="-not-empty-set/index.html">NotEmptySet</a> starting with a <a href="not-empty-set-of.html">head</a> and containing all the elements of the optional <a href="not-empty-set-of.html">tail</a>.</p></div></div></div>
              </div>
            </div>
          </div>
        </div>
<a data-name="392718672%2FFunctions%2F788909594" anchor-label="toNotEmptyList" id="392718672%2FFunctions%2F788909594" data-filterable-set=":dokkaHtm