 efficient.
<p>

    Currently, both <i>Belt_Set</i> and <i>Belt.Set</i> are accessible to users for some
    technical reasons,
    we <b>strongly recommend</b> users stick to qualified import, <i>Belt.Sort</i>, we may hide
    the internal, <i>i.e</i>, <i>Belt_Set</i> in the future<br>
 
                    </div>
                    
                    </div>

                  <hr width="100%">

<pre><span class="keyword">module</span> <a href="Belt.Id.html">Id</a>: <code class="type"><a href="Belt_Id.