span><wbr><span class="token punctuation">)</span></div></div><span class="token keyword"></span><span class="token keyword">fun </span><span class="token operator">&lt;</span><span class="token keyword"></span><a href="not-empty-list-of.html">E</a><span class="token operator">&gt; </span><a href="not-empty-list-of.html"><span class="token function">notEmptyListOf</span></a><span class="token punctuation">(</span><span class="parameters "><span class="parameter ">head<span class="token operator">: </span><a