-content" data-active="" data-togglable=":dokkaHtml/commonMain"><a data-name="-102809321%2FProperties%2F788909594" anchor-label="keys" id="-102809321%2FProperties%2F788909594" data-filterable-set=":dokkaHtml/commonMain"></a><div class="symbol monospace"><span class="token keyword"></span><span class="token keyword">val </span><a href="keys.html">keys</a><span class="token operator">: </span><a href="../-not-empty-set/index.html">NotEmptySet</a><span class="token operator">&lt;</span><span class="token keywo