iv>
    <div id="main">
<div class="main-content" id="content" pageids="Kotools Types::kotools.types.collections/NotEmptyCollection/typedSize/#/PointingToDeclaration//-879532132">
  <div class="breadcrumbs"><a href="../../../index.html">Kotools Types</a><span class="delimiter">/</span><a href="../index.html">kotools.types.collections</a><span class="delimiter">/</span><a href="index.html">NotEmptyCollection</a><span class="delimiter">/</span><span class="current">typedSize</span></div>
  <div class="cover "