construction-error/index.html">NotEmptyMap.ConstructionError</a> if this map is empty.</p></div></div></div>
              </div>
            </div>
          </div>
        </div>
<a data-name="1808341398%2FExtensions%2F788909594" anchor-label="toNotEmptyMapOrElse" id="1808341398%2FExtensions%2F788909594" data-filterable-set=":dokkaHtml/commonMain"></a>
        <div class="table-row" data-filterable-current=":dokkaHtml/commonMain" data-filterable-set=":dokkaHtml/commonMain">
          <div class="main-subr